HDMI_INTR_HOTPLUG  594 drivers/gpu/drm/rockchip/rk3066_hdmi.c 	if (interrupt & (HDMI_INTR_HOTPLUG | HDMI_INTR_MSENS))
HDMI_INTR_HOTPLUG  801 drivers/gpu/drm/rockchip/rk3066_hdmi.c 	hdmi_writeb(hdmi, HDMI_INTR_MASK1, HDMI_INTR_HOTPLUG);