vco_freq0         544 drivers/video/fbdev/smscufx.c 			u32 vco_freq0 = ref_freq0 * div_f0;
vco_freq0         546 drivers/video/fbdev/smscufx.c 			if (vco_freq0 < 350000000)
vco_freq0         549 drivers/video/fbdev/smscufx.c 			if (vco_freq0 > 700000000)
vco_freq0         553 drivers/video/fbdev/smscufx.c 				u32 pllout_freq0 = vco_freq0 / (1 << div_q0);