Symbol: TLB_EPN_MASK