linux/drivers/media/platform/cec-gpio
..
Makefile
cec-gpio.c