void set_irq_type (unsigned int irq, unsigned type);