VC4_HDMI_HOTPLUG  136 drivers/gpu/drm/vc4/vc4_hdmi.c 	VC4_REG32(VC4_HDMI_HOTPLUG),
VC4_HDMI_HOTPLUG  213 drivers/gpu/drm/vc4/vc4_hdmi.c 	if (HDMI_READ(VC4_HDMI_HOTPLUG) & VC4_HDMI_HOTPLUG_CONNECTED)