var = (var * 1000) / HZ; 
as_var_show(unsigned int var, char *page){	var = (var * 1000) / HZ;	return sprintf(page, "%d\n", var);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c9b3ad673460fc997a652cd58aa3a345d40e5218/as-iosched.c/buggy/drivers/block/as-iosched.c