SPSR_A32_E
if ((spsr & SPSR_A32_E) == 0)
if ((spsr & SPSR_A32_E) != 0)
tf->tf_spsr = SPSR_M_USR32 | SPSR_A32_E;