hrtimer.h revision 32e29396
1