sys/dev/nvmm/x86/nvmm_x86_vmx.c

2767

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_CS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2768

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_DS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2769

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_ES);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2770

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_FS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2771

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_GS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2772

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_SS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2773

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_GDT);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2774

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_IDT);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2775

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_LDT);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2776

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_TR);