Symbol: tick_init_highres
kernel/time/hrtimer.c
775
if (tick_init_highres()) {
kernel/time/tick-internal.h
116
extern int tick_init_highres(void);