ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "ACPI Subsystem is already terminated\n")); 
ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "ACPI Subsystem is already terminated\n")); 
acpi_ut_subsystem_shutdown (void){	ACPI_FUNCTION_TRACE ("ut_subsystem_shutdown");	/* Just exit if subsystem is already shutdown */	if (acpi_gbl_shutdown) {		ACPI_DEBUG_PRINT ((ACPI_DB_ERROR, "ACPI Subsystem is already terminated\n"));		return_VOID;	}	/* Subsystem appears active, go ahead and shut it down */	acpi_gbl_shutdown = TRUE;	ACPI_DEBUG_PRINT ((ACPI_DB_INFO, "Shutting down ACPI Subsystem...\n"));	/* Close the acpi_event Handling */	acpi_ev_terminate ();	/* Close the Namespace */	acpi_ns_terminate ();	/* Close the globals */	acpi_ut_terminate ();	/* Purge the local caches */	(void) acpi_purge_cached_objects ();	/* Debug only - display leftover memory allocation, if any */#ifdef ACPI_DBG_TRACK_ALLOCATIONS	acpi_ut_dump_allocations (ACPI_UINT32_MAX, NULL);#endif	return_VOID;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44f6c01242da4e162f28d8e1216a8c7a91174605/utinit.c/buggy/drivers/acpi/utilities/utinit.c