HDMI_CEC_RX_COUNT
u32 cnt = hdmi_read_reg(core->base, HDMI_CEC_RX_COUNT) & 0xff;
cnt = hdmi_read_reg(core->base, HDMI_CEC_RX_COUNT) & 0xff;