show_cpu_temperature( struct device *dev, char *buf ) 
show_cpu_temperature( struct device *dev, struct device_attribute *attr, char *buf ) 
show_cpu_temperature( struct device *dev, char *buf ){	return sprintf(buf, "%d.%d\n", x.temp>>8, (x.temp & 255)*10/256 );}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e404e274f62665f3333d6a539d0d3701f678a598/therm_windtunnel.c/buggy/drivers/macintosh/therm_windtunnel.c