NVMM_X64_STATE_GPRS
NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
ret = nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_GPRS);
NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
ret = nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_GPRS);
(NVMM_X64_STATE_SEGS | NVMM_X64_STATE_GPRS | NVMM_X64_STATE_CRS | \
NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
svm_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
svm_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
if (flags & NVMM_X64_STATE_GPRS) {
if (flags & NVMM_X64_STATE_GPRS) {
NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
vmx_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
vmx_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
if (flags & NVMM_X64_STATE_GPRS) {
if (flags & NVMM_X64_STATE_GPRS) {