ipmi_hardcode_init 77 drivers/char/ipmi/ipmi_si.h void ipmi_hardcode_init(void); ipmi_hardcode_init 2100 drivers/char/ipmi/ipmi_si_intf.c ipmi_hardcode_init();