retrigger_next_event  711 kernel/time/hrtimer.c static void retrigger_next_event(void *arg)
retrigger_next_event  764 kernel/time/hrtimer.c static inline void retrigger_next_event(void *arg) { }