nvmm_vcpu_setstate
ret = nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_GPRS);
ret = nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_GPRS);
int nvmm_vcpu_setstate(struct nvmm_machine *, struct nvmm_vcpu *, uint64_t);
return nvmm_vcpu_setstate(owner, data);
if (nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_ALL) == -1)
if (nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_ALL) == -1)
if (nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_ALL) == -1)