lib/libnvmm/libnvmm_x86.c

2646

instr->legpref.seg = NVMM_X64_SEG_DS;

lib/libnvmm/libnvmm_x86.c

3080

seg = NVMM_X64_SEG_DS;

lib/libnvmm/libnvmm_x86.c

3123

seg = NVMM_X64_SEG_DS;

lib/libnvmm/libnvmm_x86.c

3128

seg = NVMM_X64_SEG_DS;

sys/dev/nvmm/x86/nvmm_x86.c

85

[NVMM_X64_SEG_DS] = {

sys/dev/nvmm/x86/nvmm_x86_svm.c

2035

svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_DS],

sys/dev/nvmm/x86/nvmm_x86_svm.c

2176

svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_DS],

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2768

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_DS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2924

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_DS);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

865

[NVMM_X64_SEG_DS] = {

tests/lib/libnvmm/h_io_assist.c

83

init_seg(&state->segs[NVMM_X64_SEG_DS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));

tests/lib/libnvmm/h_mem_assist.c

231

init_seg(&state->segs[NVMM_X64_SEG_DS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));