Symbol: ipmi_flush_tx_msg
drivers/acpi/acpi_ipmi.c
506
ipmi_flush_tx_msg(ipmi_device);
drivers/acpi/acpi_ipmi.c
653
ipmi_flush_tx_msg(ipmi_device);