hrtimer.h revision e1f91f82
1