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