void enable_irq(unsigned int irq_nr) { if (is_i8259_irq(irq_nr)) i8259_enable_irq(irq_nr); else nile4_enable_irq(irq_to_nile4(irq_nr)); }
void mal_enableIRQ(int irq) { i8259_enable_irq(irq); }