ACPI_DEBUG_PRINT ((ACPI_DB_EXEC, "*** Thread awake after blocking, %s\n", 
ACPI_DEBUG_PRINT ((ACPI_DB_EXEC, "*** Thread awake after blocking, %s\n", 
acpi_ex_system_wait_semaphore (	acpi_handle                     semaphore,	u16                             timeout){	acpi_status                     status;	acpi_status                     status2;	ACPI_FUNCTION_TRACE ("ex_system_wait_semaphore");	status = acpi_os_wait_semaphore (semaphore, 1, 0);	if (ACPI_SUCCESS (status)) {		return_ACPI_STATUS (status);	}	if (status == AE_TIME) {		/* We must wait, so unlock the interpreter */		acpi_ex_exit_interpreter ();		status = acpi_os_wait_semaphore (semaphore, 1, timeout);		ACPI_DEBUG_PRINT ((ACPI_DB_EXEC, "*** Thread awake after blocking, %s\n",			acpi_format_exception (status)));		/* Reacquire the interpreter */		status2 = acpi_ex_enter_interpreter ();		if (ACPI_FAILURE (status2)) {			/* Report fatal error, could not acquire interpreter */			return_ACPI_STATUS (status2);		}	}	return_ACPI_STATUS (status);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44f6c01242da4e162f28d8e1216a8c7a91174605/exsystem.c/buggy/drivers/acpi/executer/exsystem.c