Symbol: rump_thread_init
sys/rump/include/rump-sys/kern.h
199
void rump_thread_init(void);
sys/rump/librump/rumpkern/rump.c
267
rump_thread_init();