Samsung HDMI Driver

modulename: s5p-hdmi.ko

configname: CONFIG_VIDEO_SAMSUNG_S5P_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia support
└─>Video capture adapters
└─>Samsung HDMI Driver
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Say Y here if you want support for the HDMI output
interface in S5P Samsung SoC. The driver can be compiled
as module. It is an auxiliary driver, that exposes a V4L2
subdev for use by other drivers. This driver requires
hdmiphy driver to work correctly.

source code: