CM_POISONED
CTASSERT(CM_POISONED < (1 << CS_SHIFT));
CTASSERT(CM_POISONED > CM_VCPU);
smt->cs_state = CS_MK(CM_POISONED, zoneid);
sibsmt->cs_sibstate = CS_MK(CM_POISONED,
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)