HDMI_OUTPUTDITHER_12BIT  187 drivers/gpu/drm/omapdrm/dss/hdmi4_core.h 	HDMI_OUTPUTDITHER_12BIT = 5
HDMI_OUTPUTDITHER_12BIT  187 drivers/video/fbdev/omap2/omapfb/dss/hdmi4_core.h 	HDMI_OUTPUTDITHER_12BIT = 5