327 	unsigned int venc_freq;  in dw_hdmi_set_vclk()  local
341 	venc_freq = vclk_freq;  in dw_hdmi_set_vclk()
345 		venc_freq *= 2;  in dw_hdmi_set_vclk()
347 	vclk_freq = max(venc_freq, hdmi_freq);  in dw_hdmi_set_vclk()
350 		venc_freq /= 2;  in dw_hdmi_set_vclk()
353 		vclk_freq, venc_freq, hdmi_freq,  in dw_hdmi_set_vclk()
357 			 venc_freq, hdmi_freq, priv->venc.hdmi_use_enci);  in dw_hdmi_set_vclk()
553 	unsigned int venc_freq;  in dw_hdmi_mode_valid()  local
582 	venc_freq = vclk_freq;  in dw_hdmi_mode_valid()
587 		venc_freq *= 2;  in dw_hdmi_mode_valid()
589 	vclk_freq = max(venc_freq, hdmi_freq);  in dw_hdmi_mode_valid()
592 		venc_freq /= 2;  in dw_hdmi_mode_valid()
595 		vclk_freq, venc_freq, hdmi_freq);  in dw_hdmi_mode_valid()