TSTAT_CPU_ENABLED
ASSERT(tcpu->tcpu_flags & TSTAT_CPU_ENABLED);
ASSERT(!(tcpu->tcpu_flags & TSTAT_CPU_ENABLED));
ASSERT(!(tcpu->tcpu_flags & TSTAT_CPU_ENABLED));
if (tcpu->tcpu_flags & TSTAT_CPU_ENABLED) {
tcpu->tcpu_flags &= ~TSTAT_CPU_ENABLED;
if (!(tcpu->tcpu_flags & TSTAT_CPU_ENABLED))
ASSERT(!(tcpu->tcpu_flags & TSTAT_CPU_ENABLED));
if (!(tcpu->tcpu_flags & TSTAT_CPU_ENABLED))
ASSERT(!(tcpu->tcpu_flags & TSTAT_CPU_ENABLED));
ASSERT(!(tcpu->tcpu_flags & TSTAT_CPU_ENABLED));
ASSERT(!(tcpu->tcpu_flags & TSTAT_CPU_ENABLED));
tcpu->tcpu_flags |= TSTAT_CPU_ENABLED;
if (!(tcpu->tcpu_flags & TSTAT_CPU_ENABLED))
tcpu->tcpu_flags &= ~TSTAT_CPU_ENABLED;