Symbol: TCR_EL2_ORGN0_MASK