The text 8e238cc21678, as Debian 7 (Wheezy) shipped it.
initialize a timer to the given clock
hrtimer_init(9) on Linux now
