[PATCH v2 03/19] clocksource: Add NPS400 timers driver

[Noam Camus]

>From: Thomas Gleixner [mailto:tglx at linutronix.de] 
>Sent: Saturday, November 07, 2015 1:26 PM


>So that clocksource goes up to 1GHz. That means u32 fits ~4.29 seconds. Unless you are striving for NOHZ idle sleep times above that there is no point in doing that 64bit dance.
>
>The timekeeping code is perfectly fine with a 32bit value. You just have to set the proper mask.

We do it because we do indeed care very much for long NOHZ idle (and full) times on NPS, hence the song and dance.

-Noam