Symbol: rump_user_unschedule
sys/rump/include/rump-sys/kern.h
180
void rump_user_unschedule(int, int *, void *);
sys/rump/librump/rumpkern/rump.c
151
.hyp_backend_unschedule = rump_user_unschedule,