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