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();