tick_init_highres 731 kernel/time/hrtimer.c if (tick_init_highres()) { tick_init_highres 111 kernel/time/tick-internal.h extern int tick_init_highres(void);