status = acpi_os_queue_for_execution(OSD_PRIORITY_GPE, acpi_ec_gpe_query, ec); 
value = acpi_ec_read_status(ec); 
acpi_ec_gpe_handler (	void			*data){	acpi_status		status = AE_OK;	struct acpi_ec		*ec = (struct acpi_ec *) data;	if (!ec)		return ACPI_INTERRUPT_NOT_HANDLED;	acpi_disable_gpe(NULL, ec->gpe_bit, ACPI_ISR);	status = acpi_os_queue_for_execution(OSD_PRIORITY_GPE,		acpi_ec_gpe_query, ec);	if (status == AE_OK)		return ACPI_INTERRUPT_HANDLED;	else		return ACPI_INTERRUPT_NOT_HANDLED;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/451566f45a2e6cd10ba56e7220a9dd84ba3ef550/ec.c/buggy/drivers/acpi/ec.c