int __disable_irq(void);
__disable_irq sets the I bit in the CPSR and returns the previous I bit value.