Searched refs:Free32BitPage (Results 1 - 3 of 3) sorted by relevance

/haiku/src/system/kernel/arch/x86/paging/pae/
H A DX86PagingStructuresPAE.cpp38 X86PagingMethodPAE::Method()->Free32BitPage(fPageDirPointerTable,
H A DX86PagingMethodPAE.h50 void Free32BitPage(void* address,
H A DX86PagingMethodPAE.cpp883 X86PagingMethodPAE::Free32BitPage(void* address, phys_addr_t physicalAddress, function in class:X86PagingMethodPAE

Completed in 36 milliseconds