acpi_status		status = AE_OK; struct acpi_ec		*ec = NULL; 
acpi_status		status; struct acpi_ec		*ec; 
acpi_ec_stop (	struct acpi_device	*device,	int			type){	acpi_status		status = AE_OK;	struct acpi_ec		*ec = NULL;	ACPI_FUNCTION_TRACE("acpi_ec_stop");	if (!device)		return_VALUE(-EINVAL);	ec = acpi_driver_data(device);	status = acpi_remove_address_space_handler(ec->handle,		ACPI_ADR_SPACE_EC, &acpi_ec_space_handler);	if (ACPI_FAILURE(status))		return_VALUE(-ENODEV);	status = acpi_remove_gpe_handler(NULL, ec->gpe_bit, &acpi_ec_gpe_handler);	if (ACPI_FAILURE(status))		return_VALUE(-ENODEV);	return_VALUE(0);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/451566f45a2e6cd10ba56e7220a9dd84ba3ef550/ec.c/buggy/drivers/acpi/ec.c