The text d2ff7eef3367, as Debian 5.0 (Lenny) shipped it.
get remaining time for the timer
hrtimer_get_remaining(9) on Linux now
