HDMI_CEC_CNTRL_1
value = HDMI_READ(HDMI_CEC_CNTRL_1);
cntrl1 = HDMI_READ(HDMI_CEC_CNTRL_1);
HDMI_WRITE(HDMI_CEC_CNTRL_1, cntrl1);
cntrl1 = HDMI_READ(HDMI_CEC_CNTRL_1);
HDMI_WRITE(HDMI_CEC_CNTRL_1, cntrl1);
HDMI_WRITE(HDMI_CEC_CNTRL_1, cntrl1);
HDMI_WRITE(HDMI_CEC_CNTRL_1, value);
HDMI_WRITE(HDMI_CEC_CNTRL_1,
(HDMI_READ(HDMI_CEC_CNTRL_1) & ~VC4_HDMI_CEC_ADDR_MASK) |
val = HDMI_READ(HDMI_CEC_CNTRL_1);
HDMI_WRITE(HDMI_CEC_CNTRL_1, val);
HDMI_WRITE(HDMI_CEC_CNTRL_1, val);
value = HDMI_READ(HDMI_CEC_CNTRL_1);
HDMI_WRITE(HDMI_CEC_CNTRL_1, value);
VC4_HDMI_REG(HDMI_CEC_CNTRL_1, 0x00e8),
VC5_CEC_REG(HDMI_CEC_CNTRL_1, 0x010),
VC5_CEC_REG(HDMI_CEC_CNTRL_1, 0x010),
VC5_CEC_REG(HDMI_CEC_CNTRL_1, 0x010),
VC5_CEC_REG(HDMI_CEC_CNTRL_1, 0x010),