EPT_PML4E_ADDRESS_MASK
SetTableEntry(pml4e, (physicalPDPT & EPT_PML4E_ADDRESS_MASK)
*pml4e & EPT_PML4E_ADDRESS_MASK);
virtualPML4[i] & EPT_PML4E_ADDRESS_MASK);
address = virtualPML4[i] & EPT_PML4E_ADDRESS_MASK;