if (gpe_xrupt->interrupt_level == acpi_gbl_FADT->sci_int) { 
if (gpe_xrupt->interrupt_number == acpi_gbl_FADT->sci_int) { 
acpi_ev_delete_gpe_xrupt (	struct acpi_gpe_xrupt_info      *gpe_xrupt){	acpi_status                     status;	ACPI_FUNCTION_TRACE ("ev_delete_gpe_xrupt");	/* We never want to remove the SCI interrupt handler */	if (gpe_xrupt->interrupt_level == acpi_gbl_FADT->sci_int) {		gpe_xrupt->gpe_block_list_head = NULL;		return_ACPI_STATUS (AE_OK);	}	/* Disable this interrupt */	status = acpi_os_remove_interrupt_handler (gpe_xrupt->interrupt_level,			   acpi_ev_gpe_xrupt_handler);	if (ACPI_FAILURE (status)) {		return_ACPI_STATUS (status);	}	/* Unlink the interrupt block with lock */	acpi_os_acquire_lock (acpi_gbl_gpe_lock, ACPI_NOT_ISR);	if (gpe_xrupt->previous) {		gpe_xrupt->previous->next = gpe_xrupt->next;	}	if (gpe_xrupt->next) {		gpe_xrupt->next->previous = gpe_xrupt->previous;	}	acpi_os_release_lock (acpi_gbl_gpe_lock, ACPI_NOT_ISR);	/* Free the block */	ACPI_MEM_FREE (gpe_xrupt);	return_ACPI_STATUS (AE_OK);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6f42ccf2fc50ecee8ea170040627f268430c1648/evgpeblk.c/buggy/drivers/acpi/events/evgpeblk.c