TK_ADV_TICK      2066 kernel/time/timekeeping.c 	if (mode != TK_ADV_TICK)
TK_ADV_TICK      2073 kernel/time/timekeeping.c 	if (offset < real_tk->cycle_interval && mode == TK_ADV_TICK)
TK_ADV_TICK      2137 kernel/time/timekeeping.c 	timekeeping_advance(TK_ADV_TICK);