static void tx4938_irq_cp0_mask_and_ack(unsigned int irq) { tx4938_irq_cp0_disable(irq); return; }
static void tx4938_irq_cp0_shutdown(unsigned int irq) { tx4938_irq_cp0_disable(irq); return; }