ipmi_si_irq_handler   70 drivers/char/ipmi/ipmi_si.h irqreturn_t ipmi_si_irq_handler(int irq, void *data);
ipmi_si_irq_handler 1282 drivers/char/ipmi/ipmi_si_intf.c 			 ipmi_si_irq_handler,
ipmi_si_irq_handler   63 drivers/char/ipmi/ipmi_si_platform.c 	ipmi_si_irq_handler(io->irq, io->irq_handler_data);