HDMI_CEC_INT_STATUS_0
hdmi_write_reg(core->base, HDMI_CEC_INT_STATUS_0, stat0);
hdmi_write_reg(core->base, HDMI_CEC_INT_STATUS_0,
hdmi_read_reg(core->base, HDMI_CEC_INT_STATUS_0));
hdmi_write_reg(core->base, HDMI_CEC_INT_STATUS_0,
u32 stat0 = hdmi_read_reg(core->base, HDMI_CEC_INT_STATUS_0);