VCPU_FROZEN
error = (newstate != VCPU_FROZEN);
case VCPU_FROZEN:
error = (newstate == VCPU_FROZEN);
vcpu_require_state_locked(vm, vcpuid, VCPU_FROZEN);
vcpu_require_state_locked(vm, vcpuid, VCPU_FROZEN);
case VCPU_FROZEN:
vcpu_require_state(vm, vcpuid, VCPU_FROZEN);
} else if (state == VCPU_FROZEN) {
case VCPU_FROZEN:
VERIFY0(vcpu_set_state(sc->vmm_vm, vcpu, VCPU_FROZEN, true));
VERIFY3U(vcpu_get_state(sc->vmm_vm, vcpu, NULL), ==, VCPU_FROZEN);