src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.c

109

[NVMM_X64_SEG_IDT] = {

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1880

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_IDT],

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2028

svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_IDT],

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2528

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2541

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2622

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_IDT);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2787

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_IDT);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

896

[NVMM_X64_SEG_IDT] = {

src/libs/nvmm/driver/x86/nvmm_x86.c

109

[NVMM_X64_SEG_IDT] = {

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1880

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_IDT],

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2028

svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_IDT],

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2528

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2541

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2622

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_IDT);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2787

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_IDT);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

896

[NVMM_X64_SEG_IDT] = {

src/tests/add-ons/kernel/drivers/nvmm/h_io_assist/h_io_assist.c

108

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

src/tests/add-ons/kernel/drivers/nvmm/h_mem_assist/h_mem_assist.c

254

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