HDMI_IH_I2CM_STAT0
dwhdmi_write(sc, HDMI_IH_I2CM_STAT0, dwhdmi_read(sc, HDMI_IH_I2CM_STAT0));
val = dwhdmi_read(sc, HDMI_IH_I2CM_STAT0);
dwhdmi_write(sc, HDMI_IH_I2CM_STAT0, val);
printf("dwhdmi_ddc_exec: timeout waiting for xfer, stat0=%#x\n", dwhdmi_read(sc, HDMI_IH_I2CM_STAT0));