int __disable_fiq(void);
__disable_fiq sets the F bit in the CPSR and returns the previous F bit value.