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