The text c385fe7f9b8b, as Debian 7 (Wheezy) shipped it.
sleep until timeout
schedule_hrtimeout_range(9) on Linux now
