Symbol: TCR_EL2_TBI