Edit File: hrtimer.h