HDMI_CORE_SYS_INTR2 420 drivers/gpu/drm/omapdrm/dss/hdmi4_core.c DUMPCORE(HDMI_CORE_SYS_INTR2); HDMI_CORE_SYS_INTR2 424 drivers/video/fbdev/omap2/omapfb/dss/hdmi4_core.c DUMPCORE(HDMI_CORE_SYS_INTR2);