HDMI_CEC_CA_7_0
hdmi_write_reg(core->base, HDMI_CEC_CA_7_0, 0);
v = hdmi_read_reg(core->base, HDMI_CEC_CA_7_0);
hdmi_write_reg(core->base, HDMI_CEC_CA_7_0, v);