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_ALL) == -1)
if (nvmm_vcpu_getstate(mach, vcpu, NVMM_X64_STATE_ALL) == -1)