acpi_ut_mutex_terminate  627 drivers/acpi/acpica/acutils.h void acpi_ut_mutex_terminate(void);
acpi_ut_mutex_terminate   42 drivers/acpi/acpica/utxface.c 	acpi_ut_mutex_terminate();