rump_unschedule_cpu_interlock
void rump_unschedule_cpu_interlock(struct lwp *, void *);
rump_unschedule_cpu_interlock(curlwp, interlock);
rump_unschedule_cpu_interlock(l, NULL);