void libarm_enable_irq(void);
This function enables IRQ interrupts by clearing the I bit in the CPSR register.
Note that this function modifies the CPSR register's control field and therefore will only work when the CPU is executing in a privileged operating mode.
Example:
// Enable IRQ interrupts libarm_enable_irq();