SPCF_SHOULDHALT
if (spc->spc_schedflags & SPCF_SHOULDHALT &&
if (spc->spc_schedflags & SPCF_SHOULDHALT) {
(p->p_cpu->ci_schedstate.spc_schedflags & SPCF_SHOULDHALT) == 0 &&
KASSERT((self->ci_schedstate.spc_schedflags & SPCF_SHOULDHALT) == 0);
SPCF_SHOULDHALT | SPCF_HALTED);
atomic_setbits_int(&spc->spc_schedflags, SPCF_SHOULDHALT);