ipmi_si_hotmod_exit   79 drivers/char/ipmi/ipmi_si.h void ipmi_si_hotmod_exit(void);
ipmi_si_hotmod_exit 2299 drivers/char/ipmi/ipmi_si_intf.c 	ipmi_si_hotmod_exit();