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

  /src/sys/dev/nvmm/x86/
nvmm_x86.h 158 #define NVMM_X64_SEG_GDT 6
nvmm_x86.c 115 [NVMM_X64_SEG_GDT] = {
nvmm_x86_vmx.c 873 [NVMM_X64_SEG_GDT] = {
2511 if (idx != NVMM_X64_SEG_GDT && idx != NVMM_X64_SEG_IDT) {
2524 if (idx != NVMM_X64_SEG_GDT && idx != NVMM_X64_SEG_IDT) {
2603 vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_GDT);
2755 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GDT);
nvmm_x86_svm.c 1893 svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_GDT],
2030 svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_GDT],
  /src/tests/lib/libnvmm/
h_io_assist.c 89 init_seg(&state->segs[NVMM_X64_SEG_GDT], 0, 0);
h_mem_assist.c 237 init_seg(&state->segs[NVMM_X64_SEG_GDT], 0, 0);

Completed in 36 milliseconds