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

1866

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_CS],

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

1868

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_DS],

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

1870

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_ES],

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

1872

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_FS],

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

1874

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_GS],

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

1876

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_SS],

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

1878

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_GDT],

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

1882

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_LDT],

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

1884

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_TR],

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

1866

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_CS],

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

1868

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_DS],

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

1870

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_ES],

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

1872

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_FS],

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

1874

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_GS],

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

1876

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_SS],

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

1878

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_GDT],

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

1882

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_LDT],

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

1884

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_TR],