TSTAT_CPU_SELECTED
ASSERT(tcpu->tcpu_flags & TSTAT_CPU_SELECTED);
ASSERT(tcpu->tcpu_flags & TSTAT_CPU_SELECTED);
ASSERT(tcpu->tcpu_flags & TSTAT_CPU_SELECTED);
if (!(tstat_percpu[cp->cpu_id].tcpu_flags & TSTAT_CPU_SELECTED))
ASSERT(tcpu->tcpu_flags & TSTAT_CPU_SELECTED);
tstat_percpu[i].tcpu_flags |= TSTAT_CPU_SELECTED;
(tcpu->tcpu_flags & TSTAT_CPU_SELECTED));
tcpu->tcpu_flags &= ~TSTAT_CPU_SELECTED;
tstat_percpu[arg].tcpu_flags |= TSTAT_CPU_SELECTED;
ASSERT(tcpu->tcpu_flags & TSTAT_CPU_SELECTED);
if (!(tcpu->tcpu_flags & TSTAT_CPU_SELECTED))
if (!(tcpu->tcpu_flags & TSTAT_CPU_SELECTED))
ASSERT(tcpu->tcpu_flags & TSTAT_CPU_SELECTED);