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);