X86_PAE_PDPTE_PRESENT
pdpt[i] = X86_PAE_PDPTE_PRESENT
if ((pdptEntry & X86_PAE_PDPTE_PRESENT) != 0) {
| X86_PAE_PDPTE_PRESENT;