request_events   1061 drivers/char/ipmi/ipmi_si_intf.c static void request_events(void *send_info)
request_events   1137 drivers/char/ipmi/ipmi_ssif.c static void request_events(void *send_info)