I'm not so sure about that. sched_clock() has to be fast, so many archs
may want to continue to use jiffies. As soon as one does that one can also
save a lot of computational overhead by using 32bit instead of 64bit.
The question is then how easy that is possible.
bye, Roman
-