acpi_set_gpe_type (NULL, ec->gpe_bit, ACPI_GPE_TYPE_RUNTIME); acpi_enable_gpe (NULL, ec->gpe_bit, ACPI_NOT_ISR); 
acpi_set_gpe_type (NULL, ec->common.gpe_bit, ACPI_GPE_TYPE_RUNTIME); acpi_enable_gpe (NULL, ec->common.gpe_bit, ACPI_NOT_ISR); 
acpi_ec_start (	struct acpi_device	*device){	acpi_status		status;	struct acpi_ec		*ec;	ACPI_FUNCTION_TRACE("acpi_ec_start");	if (!device)		return_VALUE(-EINVAL);	ec = acpi_driver_data(device);	if (!ec)		return_VALUE(-EINVAL);	/*	 * Get I/O port addresses. Convert to GAS format.	 */	status = acpi_walk_resources(ec->handle, METHOD_NAME__CRS,		acpi_ec_io_ports, ec);	if (ACPI_FAILURE(status) || ec->command_addr.register_bit_width == 0) {		ACPI_DEBUG_PRINT((ACPI_DB_ERROR, "Error getting I/O port addresses"));		return_VALUE(-ENODEV);	}	ec->status_addr = ec->command_addr;	ACPI_DEBUG_PRINT((ACPI_DB_INFO, "gpe=0x%02x, ports=0x%2x,0x%2x\n",		(u32) ec->gpe_bit, (u32) ec->command_addr.address,		(u32) ec->data_addr.address));	/*	 * Install GPE handler	 */	status = acpi_install_gpe_handler(NULL, ec->gpe_bit,		ACPI_GPE_EDGE_TRIGGERED, &acpi_ec_gpe_handler, ec);	if (ACPI_FAILURE(status)) {		return_VALUE(-ENODEV);	}	acpi_set_gpe_type (NULL, ec->gpe_bit, ACPI_GPE_TYPE_RUNTIME);	acpi_enable_gpe (NULL, ec->gpe_bit, ACPI_NOT_ISR);	status = acpi_install_address_space_handler (ec->handle,			ACPI_ADR_SPACE_EC, &acpi_ec_space_handler,			&acpi_ec_space_setup, ec);	if (ACPI_FAILURE(status)) {		acpi_remove_gpe_handler(NULL, ec->gpe_bit, &acpi_ec_gpe_handler);		return_VALUE(-ENODEV);	}	return_VALUE(AE_OK);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/45bea1555f5bf0cd5871b208b4b02d188f106861/ec.c/buggy/drivers/acpi/ec.c