386 	unsigned int venc_freq;  in dw_hdmi_set_vclk()  local
408 	venc_freq = vclk_freq;  in dw_hdmi_set_vclk()
414 		venc_freq *= 2;  in dw_hdmi_set_vclk()
416 	vclk_freq = max(venc_freq, hdmi_freq);  in dw_hdmi_set_vclk()
419 		venc_freq /= 2;  in dw_hdmi_set_vclk()
422 		phy_freq, vclk_freq, venc_freq, hdmi_freq,  in dw_hdmi_set_vclk()
426 			 venc_freq, hdmi_freq, priv->venc.hdmi_use_enci);  in dw_hdmi_set_vclk()
643 	unsigned int venc_freq;  in dw_hdmi_mode_valid()  local
683 	venc_freq = vclk_freq;  in dw_hdmi_mode_valid()
691 		venc_freq *= 2;  in dw_hdmi_mode_valid()
693 	vclk_freq = max(venc_freq, hdmi_freq);  in dw_hdmi_mode_valid()
696 		venc_freq /= 2;  in dw_hdmi_mode_valid()
699 		__func__, phy_freq, vclk_freq, venc_freq, hdmi_freq);  in dw_hdmi_mode_valid()