ipmi_remove_platform_device_by_name   83 drivers/char/ipmi/ipmi_si.h void ipmi_remove_platform_device_by_name(char *name);
ipmi_remove_platform_device_by_name  152 drivers/char/ipmi/ipmi_si_hardcode.c 	ipmi_remove_platform_device_by_name("hardcode-ipmi-si");
ipmi_remove_platform_device_by_name  246 drivers/char/ipmi/ipmi_si_hotmod.c 	ipmi_remove_platform_device_by_name("hotmod-ipmi-si");