sys/dev/nvmm/x86/nvmm_x86.c

125

[NVMM_X64_SEG_IDT] = {

sys/dev/nvmm/x86/nvmm_x86_svm.c

2047

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_IDT],

sys/dev/nvmm/x86/nvmm_x86_svm.c

2188

svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_IDT],

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

2774

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_IDT);

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

889

[NVMM_X64_SEG_IDT] = {

tests/lib/libnvmm/h_io_assist.c

90

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

tests/lib/libnvmm/h_mem_assist.c

238

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