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 bitmapsize
void* buffer_address
void
void* page_frame_allocator::request_page_internal(uint64_t start, uint64_t end)
uint64_t start
uint64_t end
void*
void* page_frame_allocator::request_page()
void*
void* page_frame_allocator::request_pages_internal(uint64_t start, uint64_t end, int amount)
uint64_t start
uint64_t end
int amount
void*
void* page_frame_allocator::request_pages(int amount)
int amount
void*
void page_frame_allocator::free_page(void* address)
void* address
void
void page_frame_allocator::free_pages(void* address, uint64_t page_count)
void* address
uint64_t page_count
void
void page_frame_allocator::lock_page(void* address)
void* address
void
void page_frame_allocator::lock_pages(void* address, uint64_t page_count)
void* address
uint64_t page_count
void
void page_frame_allocator::unreserve_page(void* address)
void* address
void
void page_frame_allocator::unreserve_pages(void* address, uint64_t page_count)
void* address
uint64_t page_count
void
void page_frame_allocator::reserve_page(void* address)
void* address
void
void page_frame_allocator::reserve_pages(void* address, uint64_t pageCount)
void* address
uint64_t pageCount
void
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