Intel XScale IXP4xx timer driver

modulename: timer-ixp4xx.ko

configname: CONFIG_IXP4XX_TIMER

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

source code: