NVMM_X64_STATE_ALL
ret = nvmm_vcpu_getstate(mach, vcpu, NVMM_X64_STATE_ALL);
vcpu->comm->state_wanted = NVMM_X64_STATE_ALL;
vcpu->comm->state_wanted = NVMM_X64_STATE_ALL;
if (nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_ALL) == -1)
if (nvmm_vcpu_getstate(mach, vcpu, NVMM_X64_STATE_ALL) == -1)
if (nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_ALL) == -1)
if (nvmm_vcpu_getstate(mach, vcpu, NVMM_X64_STATE_ALL) == -1)
if (nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_ALL) == -1)