DDC_ADDR
if (addr != DDC_ADDR || op != I2C_OP_READ_WITH_STOP || cmdlen == 0 || buf == NULL) {
dwhdmi_write(sc, HDMI_I2CM_SLAVE, DDC_ADDR);
.addr = DDC_ADDR,
.addr = DDC_ADDR,
.addr = DDC_ADDR,
.addr = DDC_ADDR,
.addr = DDC_ADDR,
.addr = DDC_ADDR,