struct acpi_ec		*ec; 
union acpi_ec		*ec = NULL; 
acpi_ec_remove (	struct acpi_device	*device,	int			type){	struct acpi_ec		*ec;	ACPI_FUNCTION_TRACE("acpi_ec_remove");	if (!device)		return_VALUE(-EINVAL);	ec = acpi_driver_data(device);	acpi_ec_remove_fs(device);	kfree(ec);	return_VALUE(0);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/45bea1555f5bf0cd5871b208b4b02d188f106861/ec.c/buggy/drivers/acpi/ec.c