Symbol: ipmi_dev_release
drivers/acpi/acpi_ipmi.c
156
ipmi_dev_release(ipmi);
drivers/acpi/acpi_ipmi.c
481
ipmi_dev_release(ipmi_device);