164 /* calculate the intended main VCO frequency based on handoff */
170 	/* Check main VCO clock source: eosc, intosc or f2s? */  in cm_calc_handoff_main_vco_clk_hz()
185 	/* calculate the VCO frequency */  in cm_calc_handoff_main_vco_clk_hz()
192 /* calculate the intended periph VCO frequency based on handoff */
198 	/* Check periph VCO clock source: eosc, intosc, f2s or mainpll? */  in cm_calc_handoff_periph_vco_clk_hz()
217 	/* calculate the VCO frequency */  in cm_calc_handoff_periph_vco_clk_hz()
419 		/* Check main VCO clock source: eosc, intosc or f2s? */  in cm_calc_safe_pll_numer()
434 		/* Check periph VCO clock source: eosc, intosc, f2s, mainpll */  in cm_calc_safe_pll_numer()
529  * Put all plls VCO registers back to reset value (bgpwr dwn).
580 	 * Put all plls VCO registers back to reset value.  in cm_full_cfg()
608 	/* Program VCO Numerator and Denominator for main PLL */  in cm_full_cfg()
626 	/* Program VCO Numerator and Denominator for periph PLL */  in cm_full_cfg()
660 	/* enable the VCO and disable the external regulator to PLL */  in cm_full_cfg()
956 	u32 vco = 0;  in cm_get_per_vco_clk_hz()  local
978 	vco = readl(&clock_manager_base->per_pll.vco1);  in cm_get_per_vco_clk_hz()
980 	numer = vco & CLKMGR_PERPLL_VCO1_NUMER_MSK;  in cm_get_per_vco_clk_hz()
982 	denom = (vco >> CLKMGR_PERPLL_VCO1_DENOM_LSB) &  in cm_get_per_vco_clk_hz()
985 	vco = src_hz;  in cm_get_per_vco_clk_hz()
986 	vco /= 1 + denom;  in cm_get_per_vco_clk_hz()
987 	vco *= 1 + numer;  in cm_get_per_vco_clk_hz()
989 	return vco;  in cm_get_per_vco_clk_hz()
994 	u32 src_hz, numer, denom, vco;  in cm_get_main_vco_clk_hz()  local
1012 	vco = readl(&clock_manager_base->main_pll.vco1);  in cm_get_main_vco_clk_hz()
1014 	numer = vco & CLKMGR_MAINPLL_VCO1_NUMER_MSK;  in cm_get_main_vco_clk_hz()
1016 	denom = (vco >> CLKMGR_MAINPLL_VCO1_DENOM_LSB) &  in cm_get_main_vco_clk_hz()
1019 	vco = src_hz;  in cm_get_main_vco_clk_hz()
1020 	vco /= 1 + denom;  in cm_get_main_vco_clk_hz()
1021 	vco *= 1 + numer;  in cm_get_main_vco_clk_hz()
1023 	return vco;  in cm_get_main_vco_clk_hz()
1088 	printf("Main VCO    %8d kHz\n", cm_get_main_vco_clk_hz() / 1000);  in cm_print_clock_quick_summary()