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

From: Noam Camus
Date: Fri Nov 20 2015 - 06:59:40 EST

>From: Thomas Gleixner [mailto:tglx@xxxxxxxxxxxxx]
>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.


To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at