Symbol: EPT_PDE_ADDRESS_MASK