void rump_user_unschedule(int nlocks, int *countp, void *interlock) { _kernel_unlock(nlocks, countp); /* * XXX: technically we should unschedule_cpu1() here, but that * requires rump_intr_enter/exit to be implemented. */ rump_unschedule_cpu_interlock(curlwp, interlock); }
void rump_unschedule_cpu(struct lwp *l) { rump_unschedule_cpu_interlock(l, NULL); }