X86_64_PML5E_PRESENT
ASSERT((*pml5e & X86_64_PML5E_PRESENT) != 0);
if ((*pml5e & X86_64_PML5E_PRESENT) == 0) {
| X86_64_PML5E_PRESENT
if ((virtualPML5[p] & X86_64_PML5E_PRESENT) == 0)
if ((virtualPML5[p] & X86_64_PML5E_PRESENT) == 0)