VCPU_STATE_REQTERM
case VCPU_STATE_REQTERM: return "requesting termination";
if (vcpu->vc_state == VCPU_STATE_REQTERM)