Symbol: PSR_AA32_T_BIT