acpi_hw_low_level_read(8, &status, &ec->status_addr); 
acpi_hw_low_level_read(8, &status, &ec->common.status_addr); 
static inline u32 acpi_ec_read_status(struct acpi_ec *ec){	u32	status = 0;	acpi_hw_low_level_read(8, &status, &ec->status_addr);	return status;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/45bea1555f5bf0cd5871b208b4b02d188f106861/ec.c/buggy/drivers/acpi/ec.c