Symbol: EPT_PML4E_ADDRESS_MASK