HDMI_CORE_SYS_INTR_UNMASK1  423 drivers/gpu/drm/omapdrm/dss/hdmi4_core.c 	DUMPCORE(HDMI_CORE_SYS_INTR_UNMASK1);
HDMI_CORE_SYS_INTR_UNMASK1  427 drivers/video/fbdev/omap2/omapfb/dss/hdmi4_core.c 	DUMPCORE(HDMI_CORE_SYS_INTR_UNMASK1);