Symbol: Free32BitPage
src/system/kernel/arch/x86/paging/pae/X86PagingMethodPAE.h
49
void Free32BitPage(void* address,
src/system/kernel/arch/x86/paging/pae/X86PagingStructuresPAE.cpp
38
X86PagingMethodPAE::Method()->Free32BitPage(fPageDirPointerTable,