CONFIG_DRM_DW_HDMI (not configurable)

modulename: dw_hdmi.ko

configname: CONFIG_DRM_DW_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Direct Rendering Manager (XFree86 4.1.0 and higher DRI support)
└─>Display Interface Bridges
└─>DRM_DW_HDMI
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code: