vco_freq1         568 drivers/video/fbdev/smscufx.c 						u32 vco_freq1 = ref_freq1 * div_f1;
vco_freq1         570 drivers/video/fbdev/smscufx.c 						if (vco_freq1 < 350000000)
vco_freq1         573 drivers/video/fbdev/smscufx.c 						if (vco_freq1 > 700000000)
vco_freq1         577 drivers/video/fbdev/smscufx.c 							u32 pllout_freq1 = vco_freq1 / (1 << div_q1);