vcpu_set_state
int vcpu_set_state(struct vm *vm, int vcpu, enum vcpu_state state,
if ((error = vcpu_set_state(vm, vcpuid, newstate, false)) != 0)
VERIFY0(vcpu_set_state(sc->vmm_vm, vcpu, VCPU_FROZEN, true));
VERIFY0(vcpu_set_state(sc->vmm_vm, vcpu, VCPU_IDLE, false));