acpi_ut_get_mutex_name
const char *acpi_ut_get_mutex_name(u32 mutex_id);
acpi_os_printf("%26s : %s\n", acpi_ut_get_mutex_name(i),
acpi_ut_get_mutex_name(i),
acpi_ut_get_mutex_name
acpi_ut_get_mutex_name(i),
acpi_ut_get_mutex_name(mutex_id)));
acpi_ut_get_mutex_name(mutex_id)));
acpi_ut_get_mutex_name(mutex_id)));
acpi_ut_get_mutex_name(mutex_id), mutex_id));
acpi_ut_get_mutex_name(mutex_id)));
acpi_ut_get_mutex_name(mutex_id), mutex_id));
acpi_ut_get_mutex_name(i),
acpi_ut_get_mutex_name(mutex_id)));