physm.h

Go to the documentation of this file.

 
#ifndef __PHYSICAL_MMNGR_H__
#define __PHYSICAL_MMNGR_H__
 
#include "littleboot.h"
 
typedef uint64_t paddr_t;
 
/*
 * LBInitializePmmngr -- initialize the physical memory manager
 * @param map -- pointer to memory map area
 * @param num_entries -- number of memory map entries
 * @param buffer -- Pointer to buffer where to store pmmngr data
 * @param buffsize -- pmmngr internal data size
 */
extern void LBInitializePmmngr(memory_region_t* map, uint64_t num_entries, void*buffer, size_t buffsize);
 
/*
 * LBPmmngrAlloc -- allocate a physical block
 */
extern paddr_t LBPmmngrAlloc();
 
extern void LBPmmngrFree(paddr_t addr);
 
extern void* LBPmmngrGetAllocatedPtr();
 
extern void* LBPmmngrGetStackPtr();
 
extern uint32_t LBPmmngrGetReservedMemCount();
 
#endif