Symbol: rump_softint_run
sys/rump/include/rump-sys/kern.h
192
void rump_softint_run(struct cpu_info *);
sys/rump/librump/rumpkern/scheduler.c
451
rump_softint_run(l->l_cpu);