Symbol: HDMI_CORE_SYS_DE_CNTH
drivers/gpu/drm/omapdrm/dss/hdmi4_core.c
332
DUMPCORE(HDMI_CORE_SYS_DE_CNTH);
drivers/video/fbdev/omap2/omapfb/dss/hdmi4_core.c
377
DUMPCORE(HDMI_CORE_SYS_DE_CNTH);