HDMI_WP_DEBOUNCE   32 drivers/gpu/drm/omapdrm/dss/hdmi_wp.c 	DUMPREG(HDMI_WP_DEBOUNCE);
HDMI_WP_DEBOUNCE   33 drivers/video/fbdev/omap2/omapfb/dss/hdmi_wp.c 	DUMPREG(HDMI_WP_DEBOUNCE);