acpi_ipmi_dev_put  199 drivers/acpi/acpi_ipmi.c 		acpi_ipmi_dev_put(ipmi);
acpi_ipmi_dev_put  214 drivers/acpi/acpi_ipmi.c 	acpi_ipmi_dev_put(tx_msg->device);
acpi_ipmi_dev_put  506 drivers/acpi/acpi_ipmi.c 		acpi_ipmi_dev_put(ipmi_device);
acpi_ipmi_dev_put  632 drivers/acpi/acpi_ipmi.c 		acpi_ipmi_dev_put(ipmi_device);