curr_msgid         38 drivers/acpi/acpi_ipmi.c 	long curr_msgid;
curr_msgid        290 drivers/acpi/acpi_ipmi.c 	device->curr_msgid++;
curr_msgid        291 drivers/acpi/acpi_ipmi.c 	tx_msg->tx_msgid = device->curr_msgid;