void disable_irq(unsigned int irq_nr) { if (is_i8259_irq(irq_nr)) i8259_disable_irq(irq_nr); else nile4_disable_irq(irq_to_nile4(irq_nr)); }
void mal_disableIRQ(int irq) { i8259_disable_irq(irq); }