ACPI_REPORT_ERROR (("Could not acquire table mutex for [%4.4s], %s\n", table_info->pointer->signature, acpi_format_exception (status))); 
ACPI_REPORT_ERROR (("Could not acquire table mutex, %s\n", acpi_format_exception (status))); 
acpi_tb_install_table (	struct acpi_table_desc          *table_info){	acpi_status                     status;	ACPI_FUNCTION_TRACE ("tb_install_table");	/* Lock tables while installing */	status = acpi_ut_acquire_mutex (ACPI_MTX_TABLES);	if (ACPI_FAILURE (status)) {		ACPI_REPORT_ERROR (("Could not acquire table mutex for [%4.4s], %s\n",			table_info->pointer->signature, acpi_format_exception (status)));		return_ACPI_STATUS (status);	}	/* Install the table into the global data structure */	status = acpi_tb_init_table_descriptor (table_info->type, table_info);	if (ACPI_FAILURE (status)) {		ACPI_REPORT_ERROR (("Could not install ACPI table [%4.4s], %s\n",			table_info->pointer->signature, acpi_format_exception (status)));	}	ACPI_DEBUG_PRINT ((ACPI_DB_INFO, "%s located at %p\n",		acpi_gbl_table_data[table_info->type].name, table_info->pointer));	(void) acpi_ut_release_mutex (ACPI_MTX_TABLES);	return_ACPI_STATUS (status);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0c9938cc75057c0fca1af55a55dcfc2842436695/tbinstal.c/buggy/drivers/acpi/tables/tbinstal.c