tick_init_highres   74 include/linux/tick.h extern int tick_init_highres(void);
tick_init_highres  716 kernel/hrtimer.c 	if (tick_init_highres()) {