Symbol: __hrtimer_get_next_event