The text 95f40099dcd4, as Debian 6.0 (Squeeze) shipped it.
get the timer resolution for a clock
hrtimer_get_res(9) on Linux now
