spin_lock_init(&ec_ecdt->lock); 
acpi_fake_ecdt_callback (	acpi_handle	handle,	u32		Level,	void		*context,	void		**retval){	acpi_status	status;	status = acpi_walk_resources(handle, METHOD_NAME__CRS,		acpi_ec_io_ports, ec_ecdt);	if (ACPI_FAILURE(status))		return status;	ec_ecdt->status_addr = ec_ecdt->command_addr;	ec_ecdt->uid = -1;	acpi_evaluate_integer(handle, "_UID", NULL, &ec_ecdt->uid);	status = acpi_evaluate_integer(handle, "_GPE", NULL, &ec_ecdt->gpe_bit);	if (ACPI_FAILURE(status))		return status;	spin_lock_init(&ec_ecdt->lock);	ec_ecdt->global_lock = TRUE;	ec_ecdt->handle = handle;	printk(KERN_INFO PREFIX  "GPE=0x%02x, ports=0x%2x, 0x%2x\n",		(u32) ec_ecdt->gpe_bit, (u32) ec_ecdt->command_addr.address,		(u32) ec_ecdt->data_addr.address);	return AE_CTRL_TERMINATE;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/451566f45a2e6cd10ba56e7220a9dd84ba3ef550/ec.c/buggy/drivers/acpi/ec.c