void rump_user_schedule(int nlocks, void *interlock) { rump_schedule_cpu_interlock(curlwp, interlock); if (nlocks) _kernel_lock(nlocks); }
void rump_schedule_cpu(struct lwp *l) { rump_schedule_cpu_interlock(l, NULL); }