VC4_HDMI_CEC_ADDR_MASK
(HDMI_READ(HDMI_CEC_CNTRL_1) & ~VC4_HDMI_CEC_ADDR_MASK) |
value |= VC4_HDMI_CEC_ADDR_MASK;