hrtimer.c revision e3252464
1