Symbol: TCR_EL2_RES1