VC4_HDMI_SCHEDULER_CONTROL_HDMI_ACTIVE  629 drivers/gpu/drm/vc4/vc4_hdmi.c 			       VC4_HDMI_SCHEDULER_CONTROL_HDMI_ACTIVE, 1000);
VC4_HDMI_SCHEDULER_CONTROL_HDMI_ACTIVE  641 drivers/gpu/drm/vc4/vc4_hdmi.c 				 VC4_HDMI_SCHEDULER_CONTROL_HDMI_ACTIVE), 1000);
VC4_HDMI_SCHEDULER_CONTROL_HDMI_ACTIVE  650 drivers/gpu/drm/vc4/vc4_hdmi.c 			  VC4_HDMI_SCHEDULER_CONTROL_HDMI_ACTIVE));