376 	unsigned int venc_freq;  in dw_hdmi_set_vclk()  local
390 	venc_freq = vclk_freq;  in dw_hdmi_set_vclk()
394 		venc_freq *= 2;  in dw_hdmi_set_vclk()
396 	vclk_freq = max(venc_freq, hdmi_freq);  in dw_hdmi_set_vclk()
399 		venc_freq /= 2;  in dw_hdmi_set_vclk()
402 		vclk_freq, venc_freq, hdmi_freq,  in dw_hdmi_set_vclk()
406 			 venc_freq, hdmi_freq, priv->venc.hdmi_use_enci);  in dw_hdmi_set_vclk()
617 	unsigned int venc_freq;  in dw_hdmi_mode_valid()  local
646 	venc_freq = vclk_freq;  in dw_hdmi_mode_valid()
651 		venc_freq *= 2;  in dw_hdmi_mode_valid()
653 	vclk_freq = max(venc_freq, hdmi_freq);  in dw_hdmi_mode_valid()
656 		venc_freq /= 2;  in dw_hdmi_mode_valid()
659 		vclk_freq, venc_freq, hdmi_freq);  in dw_hdmi_mode_valid()