hdmirx_cec_read
val = hdmirx_cec_read(cec, CEC_RX_COUNT_STATUS);
val = hdmirx_cec_read(cec, CEC_RX_DATA3_0 + i / 4 * 4);
u32 val = hdmirx_cec_read(cec, reg) & ~mask;
u32 stat = hdmirx_cec_read(cec, CEC_INT_STATUS);