rump_unschedule_cpu
void rump_unschedule_cpu(struct lwp *);
rump_unschedule_cpu(l);
rump_unschedule_cpu(&lwp0);