ipmi_dev_release 153 drivers/acpi/acpi_ipmi.c ipmi_dev_release(ipmi); ipmi_dev_release 478 drivers/acpi/acpi_ipmi.c ipmi_dev_release(ipmi_device);