X86_64_PDPTE_PRESENT
if ((*pdpte & X86_64_PDPTE_PRESENT) == 0) {
| X86_64_PDPTE_PRESENT
if ((*pdpte & X86_64_PDPTE_PRESENT) == 0) {
| X86_64_PDPTE_PRESENT
if ((virtualPDPT[j] & X86_64_PDPTE_PRESENT) == 0)
if ((virtualPDPT[j] & X86_64_PDPTE_PRESENT) == 0)