ipmi_si_platform_init   81 drivers/char/ipmi/ipmi_si.h void ipmi_si_platform_init(void);
ipmi_si_platform_init 2104 drivers/char/ipmi/ipmi_si_intf.c 	ipmi_si_platform_init();