Symbol: sched_tick
sys/kern/kern_clock.c
331
sched_tick(ci);
sys/rump/librump/rumpkern/intr.c
89
__strong_alias(sched_tick,noclock);
sys/sys/sched.h
232
void sched_tick(struct cpu_info *);