static void irq_init(void) { /* clear all pending interrupts */ CPU_NVIC_UNPEND(0) = 0xffffffff; /* enable global interrupts */ asm("cpsie i"); }
void task_clear_pending_irq(int irq) { CPU_NVIC_UNPEND(0) = 1 << irq; }