Symbol: ipmi_remove_platform_device_by_name
drivers/char/ipmi/ipmi_si.h
93
void ipmi_remove_platform_device_by_name(char *name);
drivers/char/ipmi/ipmi_si_hardcode.c
129
ipmi_remove_platform_device_by_name("hardcode-ipmi-si");
drivers/char/ipmi/ipmi_si_hotmod.c
236
ipmi_remove_platform_device_by_name("hotmod-ipmi-si");