4420 	uint32 FVCO;  in si_pmu_get_backplaneclkspeed()  local
4434 	FVCO =  si_pmu1_pllfvco0(sih);  in si_pmu_get_backplaneclkspeed()
4447 	return FVCO / mdiv * 1000u;  in si_pmu_get_backplaneclkspeed()
4496 	uint32 FVCO;	/* in [khz] units */  in BCMPOSTTRAPFN()  local
4498 	FVCO = si_pmu1_pllfvco0(sih);  in BCMPOSTTRAPFN()
4504 	return FVCO / mdiv * 1000;  in BCMPOSTTRAPFN()
4522 	uint32 FVCO;	/* in [khz] units */  in BCMPOSTTRAPFN()  local
4524 	FVCO = si_pmu1_pllfvco0(sih);  in BCMPOSTTRAPFN()
4652 	FVCO = fvco;  in BCMPOSTTRAPFN()
4655 	return FVCO / mdiv * 1000; /* Return CPU clock in [Hz] */  in BCMPOSTTRAPFN()
4667 	uint32 FVCO = si_pmu1_pllfvco0_pll2(sih);	/* in [khz] units */  in BCMPOSTTRAPFN()  local
4670 	return FVCO * 1000;  in BCMPOSTTRAPFN()
4689 	uint32 FVCO = si_pmu1_pllfvco0(sih);	/* in [khz] units */  in si_mac_clk()  local
4703 		mac_clk = FVCO / mdiv2;  in si_mac_clk()