HomeSort by: relevance | last modified time | path
    Searched refs:NVMM_X64_SEG_IDT (Results 1 - 6 of 6) sorted by relevancy

  /src/sys/dev/nvmm/x86/
nvmm_x86.h 159 #define NVMM_X64_SEG_IDT 7
nvmm_x86.c 125 [NVMM_X64_SEG_IDT] = {
nvmm_x86_vmx.c 879 [NVMM_X64_SEG_IDT] = {
2511 if (idx != NVMM_X64_SEG_GDT && idx != NVMM_X64_SEG_IDT) {
2524 if (idx != NVMM_X64_SEG_GDT && idx != NVMM_X64_SEG_IDT) {
2604 vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_IDT);
2756 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_IDT);
nvmm_x86_svm.c 1895 svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_IDT],
2032 svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_IDT],
  /src/tests/lib/libnvmm/
h_io_assist.c 90 init_seg(&state->segs[NVMM_X64_SEG_IDT], 0, 0);
h_mem_assist.c 238 init_seg(&state->segs[NVMM_X64_SEG_IDT], 0, 0);

Completed in 77 milliseconds