void disable_irq(unsigned int irq)