Name

hrtimer_init — initialize a timer to the given clock