HDMI_INT_HOT_PLUG  119 drivers/gpu/drm/sti/sti_hdmi.c 			| HDMI_INT_HOT_PLUG \
HDMI_INT_HOT_PLUG  127 drivers/gpu/drm/sti/sti_hdmi.c 			| HDMI_INT_HOT_PLUG \
HDMI_INT_HOT_PLUG  190 drivers/gpu/drm/sti/sti_hdmi.c 	if (hdmi->irq_status & HDMI_INT_HOT_PLUG) {