NPCM7xx timer driver

modulename: timer-npcm7xx.ko

configname: CONFIG_NPCM7XX_TIMER

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>NPCM7xx timer driver
In linux kernel since version 4.2 (release Date: 2015-08-30)  
Enable 24-bit TIMER0 and TIMER1 counters in the NPCM7xx architecture,
where TIMER0 serves as clockevent and TIMER1 serves as clocksource.

source code:
drivers/clocksource/timer-npcm7xx.c