sys/dev/nvmm/x86/nvmm_x86_vmx.c

2923

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_CS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2924

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_DS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2925

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_ES);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2926

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_FS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2927

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2928

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_SS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2929

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GDT);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2930

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_IDT);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2931

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_LDT);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2932

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_TR);