__ipmi_dev_kill   494 drivers/acpi/acpi_ipmi.c 			__ipmi_dev_kill(ipmi_device);
__ipmi_dev_kill   628 drivers/acpi/acpi_ipmi.c 		__ipmi_dev_kill(ipmi_device);