vRefresh         1347 drivers/video/fbdev/aty/atyfb_base.c 		u32 hSync, vRefresh;
vRefresh         1361 drivers/video/fbdev/aty/atyfb_base.c 		vRefresh = (hSync * 1000) / v_total;
vRefresh         1363 drivers/video/fbdev/aty/atyfb_base.c 			vRefresh *= 2;
vRefresh         1365 drivers/video/fbdev/aty/atyfb_base.c 			vRefresh /= 2;
vRefresh         1377 drivers/video/fbdev/aty/atyfb_base.c 		DPRINTK(" Vertical refresh:    %i Hz\n", vRefresh);