Welcome to the FoxOS website!
void page_frame_allocator::read_EFI_memory_map() void
void page_frame_allocator::init_bitmap(size_t bitmapsize, void* buffer_address)size_t bitmapsizevoid* buffer_addressvoid
void* page_frame_allocator::request_page_internal(uint64_t start, uint64_t end) uint64_t startuint64_t endvoid*
void* page_frame_allocator::request_page() void*
void* page_frame_allocator::request_pages_internal(uint64_t start, uint64_t end, int amount) uint64_t startuint64_t endint amountvoid*
void* page_frame_allocator::request_pages(int amount) int amountvoid*
void page_frame_allocator::free_page(void* address) void* addressvoid
void page_frame_allocator::free_pages(void* address, uint64_t page_count) void* addressuint64_t page_countvoid
void page_frame_allocator::lock_page(void* address) void* addressvoid
void page_frame_allocator::lock_pages(void* address, uint64_t page_count) void* addressuint64_t page_countvoid
void page_frame_allocator::unreserve_page(void* address) void* addressvoid
void page_frame_allocator::unreserve_pages(void* address, uint64_t page_count) void* addressuint64_t page_countvoid
void page_frame_allocator::reserve_page(void* address) void* addressvoid
void page_frame_allocator::reserve_pages(void* address, uint64_t pageCount) void* addressuint64_t pageCountvoid
uint64_t page_frame_allocator::get_free_RAM() uint64_t
uint64_t page_frame_allocator::get_used_RAM() uint64_t
uint64_t page_frame_allocator::get_reserved_RAM() uint64_t