HDMI_SCL_RATE
do_div(ddc_bus_freq, HDMI_SCL_RATE);
ddc_bus_freq = (hdmi->tmdsclk >> 2) / HDMI_SCL_RATE;