hrtimer.c revision 42f42da4
1