Symbol: rumpuser_curlwpop
sys/rump/include/rump/rumpuser.h
188
void rumpuser_curlwpop(int, struct lwp *);
sys/rump/librump/rumpkern/rump_curlwp___thread.h
54
rumpuser_curlwpop(op, l);
sys/rump/librump/rumpkern/rump_curlwp_hypercall.h
34
rumpuser_curlwpop(op, l);