ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "Thread %X could not acquire Mutex [%s] %s\n", this_thread_id, acpi_ut_get_mutex_name (mutex_id), acpi_format_exception (status))); 
ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "Thread %X could not acquire Mutex [%s] %s\n", this_thread_id, acpi_ut_get_mutex_name (mutex_id), acpi_format_exception (status))); 
acpi_ut_acquire_mutex (	acpi_mutex_handle               mutex_id){	acpi_status                     status;	u32                             this_thread_id;	ACPI_FUNCTION_NAME ("ut_acquire_mutex");	if (mutex_id > MAX_MUTEX) {		return (AE_BAD_PARAMETER);	}	this_thread_id = acpi_os_get_thread_id ();#ifdef ACPI_MUTEX_DEBUG	{		u32                             i;		/*		 * Mutex debug code, for internal debugging only.		 *		 * Deadlock prevention.  Check if this thread owns any mutexes of value		 * greater than or equal to this one.  If so, the thread has violated		 * the mutex ordering rule.  This indicates a coding error somewhere in		 * the ACPI subsystem code.		 */		for (i = mutex_id; i < MAX_MUTEX; i++) {			if (acpi_gbl_mutex_info[i].owner_id == this_thread_id) {				if (i == mutex_id) {					ACPI_DEBUG_PRINT ((ACPI_DB_ERROR,							"Mutex [%s] already acquired by this thread [%X]\n",							acpi_ut_get_mutex_name (mutex_id), this_thread_id));					return (AE_ALREADY_ACQUIRED);				}				ACPI_DEBUG_PRINT ((ACPI_DB_ERROR,						"Invalid acquire order: Thread %X owns [%s], wants [%s]\n",						this_thread_id, acpi_ut_get_mutex_name (i),						acpi_ut_get_mutex_name (mutex_id)));				return (AE_ACQUIRE_DEADLOCK);			}		}	}#endif	ACPI_DEBUG_PRINT ((ACPI_DB_MUTEX,			 "Thread %X attempting to acquire Mutex [%s]\n",			 this_thread_id, acpi_ut_get_mutex_name (mutex_id)));	status = acpi_os_wait_semaphore (acpi_gbl_mutex_info[mutex_id].mutex,			   1, ACPI_WAIT_FOREVER);	if (ACPI_SUCCESS (status)) {		ACPI_DEBUG_PRINT ((ACPI_DB_MUTEX, "Thread %X acquired Mutex [%s]\n",				 this_thread_id, acpi_ut_get_mutex_name (mutex_id)));		acpi_gbl_mutex_info[mutex_id].use_count++;		acpi_gbl_mutex_info[mutex_id].owner_id = this_thread_id;	}	else {		ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "Thread %X could not acquire Mutex [%s] %s\n",				 this_thread_id, acpi_ut_get_mutex_name (mutex_id),				 acpi_format_exception (status)));	}	return (status);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44f6c01242da4e162f28d8e1216a8c7a91174605/utmisc.c/buggy/drivers/acpi/utilities/utmisc.c