The text 0419afbee55a, as Debian 7 (Wheezy) shipped it.
(re)start an hrtimer on the current CPU
hrtimer_start(9) on Linux now
