Xilinx Video Timing Controller

modulename: xilinx-vtc.ko

configname: CONFIG_VIDEO_XILINX_VTC

Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia support
└─>Media drivers
└─>V4L platform devices
└─>Xilinx Video Timing Controller
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Driver for the Xilinx Video Timing Controller

source code: