acpi_ex_exit_interpreter (void) 
acpi_ex_exit_interpreter ( void) 
acpi_ex_exit_interpreter (void){	acpi_status                     status;	ACPI_FUNCTION_TRACE ("ex_exit_interpreter");	status = acpi_ut_release_mutex (ACPI_MTX_EXECUTE);	if (ACPI_FAILURE (status)) {		ACPI_REPORT_ERROR (("Could not release interpreter mutex\n"));	}	return_VOID;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44f6c01242da4e162f28d8e1216a8c7a91174605/exutils.c/clean/drivers/acpi/executer/exutils.c