HDMI_CEC_RX_CONTROL
hdmi_write_reg(core->base, HDMI_CEC_RX_CONTROL, 0x3);
temp = hdmi_read_reg(core->base, HDMI_CEC_RX_CONTROL);
hdmi_write_reg(core->base, HDMI_CEC_RX_CONTROL, 1);
while (hdmi_read_reg(core->base, HDMI_CEC_RX_CONTROL) & 1)