__ARM_INTR_BITS
return (__set_cpsr(mask & __ARM_INTR_BITS, mask & __ARM_INTR_BITS));
return (__set_cpsr(mask & __ARM_INTR_BITS, 0));
return (__set_cpsr(__ARM_INTR_BITS, old_cpsr & __ARM_INTR_BITS));