HDMI_MC_CLKDIS
dwhdmi_write(sc, HDMI_MC_CLKDIS, val);
dwhdmi_write(sc, HDMI_MC_CLKDIS, 0xff);
val = dwhdmi_read(sc, HDMI_MC_CLKDIS);