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.
Got 64 bit counter with update rate up to 1000MHz.
This counter is accessed via couple of 32 bit memory mapped registers.

source code: