Symbol: ipmi_si_platform_shutdown
drivers/char/ipmi/ipmi_si.h
92
void ipmi_si_platform_shutdown(void);
drivers/char/ipmi/ipmi_si_intf.c
2368
ipmi_si_platform_shutdown();