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