hrtimer_get_remaining(9) on Linux

The text 37d7510d678b, as Debian 8 (Jessie) shipped it. The page shows this text now.

get remaining time for the timer

hrtimer_get_remaining(9) on Linux now