HDMI_CEC_TX_CNT
dw_hdmi_write(cec, msg->len, HDMI_CEC_TX_CNT);
dw_hdmi_write(cec, 0, HDMI_CEC_TX_CNT);