HDMI_CORE_PRODUCT_ID1   19 drivers/gpu/drm/omapdrm/dss/hdmi5_core.h #define HDMI_CORE_PRODUCT_ID1			0x0000C
HDMI_CORE_PRODUCT_ID1   19 drivers/video/fbdev/omap2/omapfb/dss/hdmi5_core.h #define HDMI_CORE_PRODUCT_ID1			0x0000C