HDMI_CORE_MC_LOCKONCLOCK  254 drivers/gpu/drm/omapdrm/dss/hdmi5_core.c 	DUMPCORE(HDMI_CORE_MC_LOCKONCLOCK);
HDMI_CORE_MC_LOCKONCLOCK  255 drivers/video/fbdev/omap2/omapfb/dss/hdmi5_core.c 	DUMPCORE(HDMI_CORE_MC_LOCKONCLOCK);