ACPI_IPMI_OK      313 drivers/acpi/acpi_ipmi.c 	if (msg->msg_done != ACPI_IPMI_OK)
ACPI_IPMI_OK      427 drivers/acpi/acpi_ipmi.c 	tx_msg->msg_done = ACPI_IPMI_OK;