Symbol: sched_resched_cpu
sys/kern/kern_runq.c
320
sched_resched_cpu(struct cpu_info *ci, pri_t pri, bool unlock)
sys/rump/librump/rumpkern/scheduler.c
600
sched_resched_cpu(struct cpu_info *ci, pri_t pri, bool unlock)