hrtimer_switch_to_hres  727 kernel/time/hrtimer.c static void hrtimer_switch_to_hres(void)
hrtimer_switch_to_hres  763 kernel/time/hrtimer.c static inline void hrtimer_switch_to_hres(void) { }