K 10 svn:author V 3 bde K 8 svn:date V 27 2005-10-07T11:58:46.000000Z K 7 svn:log V 218 Catch up with increasing the resolution suitable for high-res kernel profiling from microseconds to nanoseconds in 1996. Picoseconds are already needed. Describe the choice of units for the per-call times in detail. END