VC4_HDMI_CPU_MASK_SET 1249 drivers/gpu/drm/vc4/vc4_hdmi.c 		HDMI_WRITE(VC4_HDMI_CPU_MASK_SET, VC4_HDMI_CPU_CEC);
VC4_HDMI_CPU_MASK_SET 1430 drivers/gpu/drm/vc4/vc4_hdmi.c 	HDMI_WRITE(VC4_HDMI_CPU_MASK_SET, 0xffffffff);