HDMI_INPUT_12BIT  178 drivers/gpu/drm/omapdrm/dss/hdmi4_core.h 	HDMI_INPUT_12BIT = 2
HDMI_INPUT_12BIT  178 drivers/video/fbdev/omap2/omapfb/dss/hdmi4_core.h 	HDMI_INPUT_12BIT = 2