HDMI_VCO_MIN_FREQ
if ((vco_tmp >= HDMI_VCO_MIN_FREQ) &&
u64 const min_freq = HDMI_VCO_MIN_FREQ, max_freq = HDMI_VCO_MAX_FREQ;