NPS400 clocksource driver

modulename: timer-nps.ko

configname: CONFIG_CLKSRC_NPS

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>NPS400 clocksource driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
NPS400 clocksource support.
It has a 64-bit counter with update rate up to 1000MHz.
This counter is accessed via couple of 32-bit memory-mapped registers.

source code:

depends
CONFIG_GENERIC_CLOCKEVENTS
NOT CONFIG_PHYS_ADDR_T_64BIT