Symbol: rumpuser_kill
sys/rump/include/rump/rumpuser.h
150
int rumpuser_kill(int64_t, int);
sys/rump/librump/rumpkern/signals.c
93
rumpuser_kill(p->p_pid, signo);