ipmi_flush_tx_msg  505 drivers/acpi/acpi_ipmi.c 		ipmi_flush_tx_msg(ipmi_device);
ipmi_flush_tx_msg  631 drivers/acpi/acpi_ipmi.c 		ipmi_flush_tx_msg(ipmi_device);