CEC_RX_COUNT_STATUS
val = dw_hdmi_qp_read(hdmi, CEC_RX_COUNT_STATUS);
val = hdmirx_cec_read(cec, CEC_RX_COUNT_STATUS);