Symbol: ipmi_hardcode_init
drivers/char/ipmi/ipmi_si.h
87
void ipmi_hardcode_init(void);
drivers/char/ipmi/ipmi_si_intf.c
2142
ipmi_hardcode_init();