The text d013dc5a4f38, as Debian 4.0 (Etch) shipped it.
get the timer resolution for a clock
hrtimer_get_res(9) on Linux now
