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