static void end_sysint1_irq(unsigned int irq) { if (!(irq_desc[irq].status & (IRQ_DISABLED | IRQ_INPROGRESS))) icu1_set(MSYSINT1REG, 1 << SYSINT1_IRQ_TO_PIN(irq)); }
static unsigned int startup_sysint1_irq(unsigned int irq) { icu1_set(MSYSINT1REG, 1 << SYSINT1_IRQ_TO_PIN(irq)); return 0; /* never anything pending */ }
static void enable_sysint1_irq(unsigned int irq) { icu1_set(MSYSINT1REG, 1 << SYSINT1_IRQ_TO_PIN(irq)); }