VCPU_STATE_STOPPED
vcpu->vc_state = VCPU_STATE_STOPPED;
old = VCPU_STATE_STOPPED;
vcpu->vc_state = VCPU_STATE_STOPPED;
case VCPU_STATE_STOPPED: return "stopped";
if (vcpu->vc_state != VCPU_STATE_STOPPED)