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