HDMI_IRQ_CORE      45 drivers/gpu/drm/omapdrm/dss/hdmi.h #define HDMI_IRQ_CORE				(1 << 0)
HDMI_IRQ_CORE      42 drivers/video/fbdev/omap2/omapfb/dss/hdmi.h #define HDMI_IRQ_CORE				(1 << 0)