The text d846a43ad409, as Debian 6.0 (Squeeze) shipped it.
get remaining time for the timer
hrtimer_get_remaining(9) on Linux now
