CI_STOPPED
ci->ci_flags &= ~CI_STOPPED;
if ((ci != curcpu()) && ((ci->ci_flags & CI_STOPPED) == 0))
ci->ci_flags |= CI_STOPPED;
while (ci->ci_flags & CI_STOPPED)