HDMI_HDMI          94 drivers/gpu/drm/omapdrm/dss/hdmi.h 	HDMI_HDMI = 1
HDMI_HDMI          91 drivers/video/fbdev/omap2/omapfb/dss/hdmi.h 	HDMI_HDMI = 1