Symbol: rump_thread_allow
sys/rump/include/rump-sys/kern.h
200
void rump_thread_allow(struct lwp *);
sys/rump/librump/rumpkern/rump.c
398
rump_thread_allow(NULL);
sys/rump/librump/rumpkern/scheduler.c
596
rump_thread_allow(l);