Symbol: Allocate32BitPage
src/system/kernel/arch/x86/paging/pae/X86PagingMethodPAE.h
46
void* Allocate32BitPage(
src/system/kernel/arch/x86/paging/pae/X86VMTranslationMapPAE.cpp
343
method->Allocate32BitPage(physicalPDPT, pdptHandle);