The text 8d5dfa47dcae, as Debian 4.0 (Etch) shipped it.
get remaining time for the timer
hrtimer_get_remaining(9) on Linux now
