Symbol: rump_cpus_bootstrap
sys/rump/include/rump-sys/kern.h
156
void rump_cpus_bootstrap(int *);
sys/rump/librump/rumpkern/rump.c
268
rump_cpus_bootstrap(&numcpu);