sys/dev/nvmm/x86/nvmm_x86.c

115

[NVMM_X64_SEG_GDT] = {

sys/dev/nvmm/x86/nvmm_x86_svm.c

2045

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_GDT],

sys/dev/nvmm/x86/nvmm_x86_svm.c

2186

svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_GDT],

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2681

if (idx != NVMM_X64_SEG_GDT && idx != NVMM_X64_SEG_IDT) {

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2694

if (idx != NVMM_X64_SEG_GDT && idx != NVMM_X64_SEG_IDT) {

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

2929

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GDT);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

883

[NVMM_X64_SEG_GDT] = {

tests/lib/libnvmm/h_io_assist.c

89

init_seg(&state->segs[NVMM_X64_SEG_GDT], 0, 0);

tests/lib/libnvmm/h_mem_assist.c

237

init_seg(&state->segs[NVMM_X64_SEG_GDT], 0, 0);