IF32_bits
restore_interrupts(tf->tf_spsr & IF32_bits);
restore_interrupts(tf->tf_spsr & IF32_bits);
restore_interrupts(tf->tf_spsr & IF32_bits);
if (__predict_true((tf->tf_spsr & IF32_bits) != IF32_bits))
restore_interrupts(tf->tf_spsr & IF32_bits);
restore_interrupts(tf->tf_spsr & IF32_bits);
if (__predict_true((tf->tf_spsr & IF32_bits) != IF32_bits))
restore_interrupts(tf->tf_spsr & IF32_bits);
uint32_t oldirqstate = disable_interrupts(IF32_bits);
orr ra, rb, #(IF32_bits) ;\
bic ra, rb, #(IF32_bits) ;\
(((psr) & PSR_MODE) == PSR_USR32_MODE && ((psr) & IF32_bits) == 0)
int psw = disable_interrupts(IF32_bits);
int psw = disable_interrupts(IF32_bits);
int psw = disable_interrupts(IF32_bits);
int psw = disable_interrupts(IF32_bits);