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