Symbol: softint_schedule_cpu
sys/kern/kern_softint.c
535
softint_schedule_cpu(void *arg, struct cpu_info *ci)
sys/rump/librump/rumpkern/intr.c
405
softint_schedule_cpu(void *arg, struct cpu_info *ci_tgt)