VCO_CLOCK25       843 drivers/video/fbdev/atafb.c 	25175000, 39721, 18, 0, 42, 0x0, VCO_CLOCK25
VCO_CLOCK25      1381 drivers/video/fbdev/atafb.c 	                hw->vid_control & VCO_CLOCK25 ? f25.t : f32.t;