Symbol: rump_user_schedule
sys/rump/include/rump-sys/kern.h
179
void rump_user_schedule(int, void *);
sys/rump/librump/rumpkern/rump.c
152
.hyp_backend_schedule = rump_user_schedule,