The text a2dddb5a93e6, as Debian 7 (Wheezy) shipped it.
get the timer resolution for a clock
hrtimer_get_res(9) on Linux now
