Searched refs:dco_integer (Results 1 – 1 of 1) sorted by relevance
1139 uint32_t dco_integer; member1208 params->dco_integer = div_u64(dco_freq, 24 * MHz(1)); in skl_wrpll_params_populate()1211 params->dco_integer * MHz(1)) * 0x8000, MHz(1)); in skl_wrpll_params_populate()1307 wrpll_params.dco_integer; in skl_ddi_hdmi_pll_dividers()2211 params->dco_integer = div_u64(dco_freq, ref_freq); in cnl_wrpll_params_populate()2213 ((uint64_t)params->dco_integer<<15)) * 0x8000, 0x8000); in cnl_wrpll_params_populate()2278 wrpll_params.dco_integer; in cnl_ddi_hdmi_pll_dividers()