Symbol: ipmi_si_hotmod_exit
drivers/char/ipmi/ipmi_si.h
89
void ipmi_si_hotmod_exit(void);
drivers/char/ipmi/ipmi_si_intf.c
2376
ipmi_si_hotmod_exit();