static unsigned int tx4938_irq_cp0_startup(unsigned int irq) { tx4938_irq_cp0_enable(irq); return (0); }
static void tx4938_irq_cp0_end(unsigned int irq) { if (!(irq_desc[irq].status & (IRQ_DISABLED | IRQ_INPROGRESS))) { tx4938_irq_cp0_enable(irq); } return; }