Texas Instruments DaVinci timer driver

modulename: timer-davinci.ko

configname: CONFIG_DAVINCI_TIMER

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Texas Instruments DaVinci timer driver
In linux kernel since version 5.1 (release Date: 2019-05-05)  
Enables the support for the TI DaVinci timer driver.

source code:
depends
CONFIG_GENERIC_CLOCKEVENTS

is depended by
CONFIG_ARCH_DAVINCI