Symbol: __ipmi_dev_kill
drivers/acpi/acpi_ipmi.c
495
__ipmi_dev_kill(iter);
drivers/acpi/acpi_ipmi.c
650
__ipmi_dev_kill(ipmi_device);