Texas Instruments ADC12130/ADC12132/ADC12138

modulename: ti-adc12138.ko
configname: CONFIG_TI_ADC12138

Linux Kernel Configuration
└─> Device Drivers
└─> Industrial I/O support
└─> Analog to digital converters
└─> SPI support
└─> Texas Instruments ADC12130/ADC12132/ADC12138

In linux kernel since version 4.1 (release Date: 2015-06-21)  

If you say yes here you get support for Texas Instruments ADC12130,
ADC12132 and ADC12138 chips.

This driver can also be built as a module. If so, the module will be
called ti-adc12138.

source code: