void libarm_isr_disable_irq(void);
A call to libarm_isr_enable_irq must have been made prior to calling this function.
Note that this call should only be made from within an IRQ interrupt handler.