Exynos DRM HDMI

modulename: exynos_hdmi.ko

configname: CONFIG_DRM_EXYNOS_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Exynos DRM HDMI
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Choose this option if you want to use Exynos HDMI for DRM.
If M is selected, the module will be called exynos_drm_hdmi

source code:
drivers/gpu/drm//exynos/
selects

CONFIG_CEC_CORE