Re: Enormous scheduler bug

[Maxime Villard]

Also, kern/kern_idle.c::create_idle_lwp():

        lwp_lock(l);
        l->l_flag |= LW_IDLE;
        lwp_unlock(l);
        l->l_cpu = ci;

shouldn't l_cpu be set when lwp is locked?