static void tx4938_irq_cp0_enable(unsigned int irq) { unsigned long flags; spin_lock_irqsave(&tx4938_cp0_lock, flags); set_c0_status(tx4938_irq_cp0_mask(irq)); spin_unlock_irqrestore(&tx4938_cp0_lock, flags); }
static void tx4938_irq_cp0_disable(unsigned int irq) { unsigned long flags; spin_lock_irqsave(&tx4938_cp0_lock, flags); clear_c0_status(tx4938_irq_cp0_mask(irq)); spin_unlock_irqrestore(&tx4938_cp0_lock, flags); return; }