CS_MARK
if (CS_MARK(sibstate) < CM_VCPU || CS_ZONE(sibstate) == zoneid)
if (CS_MARK(sibstate) == CM_UNSAFE)
if (CS_MARK(sibstate) == CM_IDLE)
ASSERT3U(CS_MARK(smt->cs_state), ==, CM_VCPU);
ASSERT3U(CS_MARK(smt->cs_state), ==, CM_POISONED);
if (CS_MARK(sibstate) != CM_POISONED || CS_ZONE(sibstate) == zoneid)
if (CS_MARK(sibstate) != CM_POISONED ||
if (CS_MARK(smt->cs_sibstate) == CM_POISONED)
if (CS_MARK(smt->cs_sibstate) != CM_POISONED)
if (CS_MARK(smt->cs_state) == CM_UNSAFE)
if (CS_MARK(sibstate) == CM_IDLE)
if (CS_MARK(sibstate) == CM_UNSAFE)
if (CS_MARK(sibstate) < CM_VCPU)