Symbol: rump_scheduler_init
sys/rump/include/rump-sys/kern.h
158
void rump_scheduler_init(int);
sys/rump/librump/rumpkern/rump.c
344
rump_scheduler_init(numcpu);