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