rump_unschedule_cpu1
void rump_unschedule_cpu1(struct lwp *, void *);
rump_unschedule_cpu1(l, NULL);
rump_unschedule_cpu1(l, interlock);