struct sensor_device_attribute *sensor_attr = to_sensor_dev_attr(attr); int nr = sensor_attr->index;  
static ssize_t show_fan_div(struct device *dev, char *buf, int nr){	struct it87_data *data = it87_update_device(dev);	return sprintf(buf, "%d\n", DIV_FROM_REG(data->fan_div[nr]));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/20ad93d4e5cf5f0616198b5919ee9f304119dd4b/it87.c/buggy/drivers/i2c/chips/it87.c