struct acpi_ec		*ec = (struct acpi_ec *) seq->private; 
union acpi_ec		*ec = (union acpi_ec *) seq->private; 
acpi_ec_read_info (struct seq_file *seq, void *offset){	struct acpi_ec		*ec = (struct acpi_ec *) seq->private;	ACPI_FUNCTION_TRACE("acpi_ec_read_info");	if (!ec)		goto end;	seq_printf(seq, "gpe bit:                 0x%02x\n",		(u32) ec->gpe_bit);	seq_printf(seq, "ports:                   0x%02x, 0x%02x\n",		(u32) ec->status_addr.address, (u32) ec->data_addr.address);	seq_printf(seq, "use global lock:         %s\n",		ec->global_lock?"yes":"no");	acpi_enable_gpe(NULL, ec->gpe_bit, ACPI_NOT_ISR);end:	return_VALUE(0);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/45bea1555f5bf0cd5871b208b4b02d188f106861/ec.c/buggy/drivers/acpi/ec.c