VC4_HDMI_CEC_RX_DATA_1  161 drivers/gpu/drm/vc4/vc4_hdmi.c 	VC4_REG32(VC4_HDMI_CEC_RX_DATA_1),
VC4_HDMI_CEC_RX_DATA_1 1176 drivers/gpu/drm/vc4/vc4_hdmi.c 		u32 val = HDMI_READ(VC4_HDMI_CEC_RX_DATA_1 + i);