Symbol: ipmi_si_hardcode_exit
drivers/char/ipmi/ipmi_si.h
88
void ipmi_si_hardcode_exit(void);
drivers/char/ipmi/ipmi_si_intf.c
2375
ipmi_si_hardcode_exit();