The text 1d9d5f9fc002, as Debian 7 (Wheezy) shipped it.
cancel a timer and wait for the handler to finish.
hrtimer_cancel(9) on Linux now
