cpsid
cpsid(I32_bit);
cpsid(I32_bit);
cpsid(I32_bit);
cpsid(I32_bit);
#define CPSID_I(ra,rb) cpsid i
#define DISABLE_INTERRUPT() cpsid(I32_bit)
#define DISABLE_INTERRUPT_SAVE() cpsid(I32_bit)
static inline register_t cpsid(register_t psw) __attribute__((__unused__));
#define IRQ_DISABLE(rTMP) cpsid i
#define INTERRUPT_DISABLE(rTMP) cpsid if
cpsid(I32_bit|F32_bit);