Symbol: rumpuser_thread_exit
sys/rump/librump/rumpkern/threads.c
235
rumpuser_thread_exit();
sys/rump/librump/rumpkern/threads.c
378
rumpuser_thread_exit();