CS_MK
smt->cs_state = CS_MK(CM_POISONED, zoneid);
sibsmt->cs_sibstate = CS_MK(CM_POISONED,
smt->cs_state = CS_MK(CM_VCPU, zoneid);
sibsmt->cs_sibstate = CS_MK(CM_VCPU, zoneid);
smt->cs_state = CS_MK(CM_IDLE, zoneid);
smt->cs_state = CS_MK(state, zoneid);
cp->cpu_m.mcpu_smt.cs_state = CS_MK(CM_THREAD, GLOBAL_ZONEID);
cp->cpu_m.mcpu_smt.cs_sibstate = CS_MK(CM_THREAD,