ACPI_DB_MUTEX
ACPI_DEBUG_PRINT ((ACPI_DB_MUTEX,
ACPI_DEBUG_PRINT ((ACPI_DB_MUTEX, "Thread %u releasing Mutex [%s]\n",