Symbol: mmu_allocate_page
src/system/boot/platform/bios_ia32/mmu.cpp
451
mmu_allocate_page(addr_t *_physicalAddress)
src/system/boot/platform/efi/mmu.cpp
52
mmu_allocate_page()