lib/libnvmm/libnvmm_x86.c

3349

NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |

lib/libnvmm/libnvmm_x86.c

3404

ret = nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_GPRS);

lib/libnvmm/libnvmm_x86.c

762

NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |

lib/libnvmm/libnvmm_x86.c

871

ret = nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_GPRS);

sys/dev/virtual/nvmm/x86/nvmm_x86.h

303

(NVMM_X64_STATE_SEGS | NVMM_X64_STATE_GPRS | NVMM_X64_STATE_CRS | \

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1250

NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1342

svm_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1365

svm_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1402

NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

1957

if (flags & NVMM_X64_STATE_GPRS) {

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2107

if (flags & NVMM_X64_STATE_GPRS) {

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1877

NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

1983

vmx_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2009

vmx_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2066

NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2645

if (flags & NVMM_X64_STATE_GPRS) {

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2805

if (flags & NVMM_X64_STATE_GPRS) {

test/nvmm/calc-vm.c

115

if (nvmm_vcpu_getstate(&mach, &vcpu, NVMM_X64_STATE_GPRS) == -1)

test/nvmm/calc-vm.c

121

nvmm_vcpu_setstate(&mach, &vcpu, NVMM_X64_STATE_GPRS);

test/nvmm/calc-vm.c

138

nvmm_vcpu_getstate(&mach, &vcpu, NVMM_X64_STATE_GPRS);

test/nvmm/demo/toyvirt/main.c

305

if (nvmm_vcpu_getstate(mach, vcpu, NVMM_X64_STATE_GPRS) == -1)

test/nvmm/demo/toyvirt/main.c

314

if (nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_GPRS) == -1)

test/nvmm/demo/toyvirt/main.c

325

if (nvmm_vcpu_getstate(mach, vcpu, NVMM_X64_STATE_GPRS) == -1)