Tegra HDMI CEC driver

modulename: tegra_cec.ko

configname: CONFIG_VIDEO_TEGRA_HDMI_CEC

Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia support
└─>CEC platform devices
└─>Tegra HDMI CEC driver
In linux kernel since version 4.2 (release Date: 2015-08-30)  
This is a driver for the Tegra HDMI CEC interface. It uses the
generic CEC framework interface.
The CEC bus is present in the HDMI connector and enables communication
between compatible devices.

source code:
drivers/media/platform//tegra-cec/tegra_cec.c