What about adding a nanosecond-precision clock, too? --tschwinge

The y2038 64b interfaces and the mapped time already support it, but the granularity is still the clock tick period.

Candidate for vDSO code?