__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);