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