CEC_RX_DATA3_0
val = dw_hdmi_qp_read(hdmi, CEC_RX_DATA3_0 + i * 4);
val = hdmirx_cec_read(cec, CEC_RX_DATA3_0 + i / 4 * 4);