X86_64_PML4E_PRESENT
ASSERT((*pml4e & X86_64_PML4E_PRESENT) != 0);
if ((*pml4e & X86_64_PML4E_PRESENT) == 0) {
| X86_64_PML4E_PRESENT
if ((virtualPML4[i] & X86_64_PML4E_PRESENT) == 0)
if ((virtualPML4[i] & X86_64_PML4E_PRESENT) == 0)