CM_VCPU
CTASSERT(CM_POISONED > CM_VCPU);
CTASSERT(CM_VCPU > CM_UNSAFE);
if (CS_MARK(sibstate) < CM_VCPU || CS_ZONE(sibstate) == zoneid)
ASSERT3U(CS_MARK(smt->cs_state), ==, CM_VCPU);
smt->cs_state = CS_MK(CM_VCPU, zoneid);
sibsmt->cs_sibstate = CS_MK(CM_VCPU, zoneid);
state = CM_VCPU;
if (CS_MARK(sibstate) < CM_VCPU)