void set_irq_handler(unsigned int irq, irq_handler_t handler);