Symbol: EPT_PML4E_PRESENT
src/system/kernel/arch/x86/paging/nested/X86PagingMethodEPT.cpp
62
if ((*pml4e & EPT_PML4E_PRESENT) == 0) {
src/system/kernel/arch/x86/paging/nested/X86PagingMethodEPT.cpp
80
| EPT_PML4E_PRESENT
src/system/kernel/arch/x86/paging/nested/X86VMTranslationMapEPT.cpp
62
if ((virtualPML4[i] & EPT_PML4E_PRESENT) == 0)