CM_UNSAFE
CTASSERT(CM_VCPU > CM_UNSAFE);
if (CS_MARK(sibstate) == CM_UNSAFE)
if (CS_MARK(smt->cs_state) == CM_UNSAFE)
state = CM_UNSAFE;