Symbol: rumpuser_exit
sys/rump/include/rump/rumpuser.h
152
void rumpuser_exit(int) __dead;
sys/rump/librump/rumpkern/emul.c
447
rumpuser_exit(ruhow);