acpi_ut_terminate (void) 
acpi_ut_terminate ( void) 
acpi_ut_terminate (void){	struct acpi_gpe_block_info      *gpe_block;	struct acpi_gpe_block_info      *next_gpe_block;	struct acpi_gpe_xrupt_info      *gpe_xrupt_info;	struct acpi_gpe_xrupt_info      *next_gpe_xrupt_info;	ACPI_FUNCTION_TRACE ("ut_terminate");	/* Free global tables, etc. */	/* Free global GPE blocks and related info structures */	gpe_xrupt_info = acpi_gbl_gpe_xrupt_list_head;	while (gpe_xrupt_info) {		gpe_block = gpe_xrupt_info->gpe_block_list_head;		while (gpe_block) {			next_gpe_block = gpe_block->next;			ACPI_MEM_FREE (gpe_block->event_info);			ACPI_MEM_FREE (gpe_block->register_info);			ACPI_MEM_FREE (gpe_block);			gpe_block = next_gpe_block;		}		next_gpe_xrupt_info = gpe_xrupt_info->next;		ACPI_MEM_FREE (gpe_xrupt_info);		gpe_xrupt_info = next_gpe_xrupt_info;	}	return_VOID;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44f6c01242da4e162f28d8e1216a8c7a91174605/utinit.c/clean/drivers/acpi/utilities/utinit.c