1016 	u32 vco = 0;  in cm_get_per_vco_clk_hz()  local
1038 	vco = readl(&clock_manager_base->per_pll.vco1);  in cm_get_per_vco_clk_hz()
1040 	numer = vco & CLKMGR_PERPLL_VCO1_NUMER_MSK;  in cm_get_per_vco_clk_hz()
1042 	denom = (vco >> CLKMGR_PERPLL_VCO1_DENOM_LSB) &  in cm_get_per_vco_clk_hz()
1045 	vco = src_hz;  in cm_get_per_vco_clk_hz()
1046 	vco /= 1 + denom;  in cm_get_per_vco_clk_hz()
1047 	vco *= 1 + numer;  in cm_get_per_vco_clk_hz()
1049 	return vco;  in cm_get_per_vco_clk_hz()
1054 	u32 src_hz, numer, denom, vco;  in cm_get_main_vco_clk_hz()  local
1072 	vco = readl(&clock_manager_base->main_pll.vco1);  in cm_get_main_vco_clk_hz()
1074 	numer = vco & CLKMGR_MAINPLL_VCO1_NUMER_MSK;  in cm_get_main_vco_clk_hz()
1076 	denom = (vco >> CLKMGR_MAINPLL_VCO1_DENOM_LSB) &  in cm_get_main_vco_clk_hz()
1079 	vco = src_hz;  in cm_get_main_vco_clk_hz()
1080 	vco /= 1 + denom;  in cm_get_main_vco_clk_hz()
1081 	vco *= 1 + numer;  in cm_get_main_vco_clk_hz()
1083 	return vco;  in cm_get_main_vco_clk_hz()