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

69

[NVMM_X64_SEG_DS] = {

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

2016

svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_DS],

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

2616

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_DS);

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

2781

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_DS);

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

872

[NVMM_X64_SEG_DS] = {

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

69

[NVMM_X64_SEG_DS] = {

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

2016

svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_DS],

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

2616

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_DS);

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

2781

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_DS);

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

872

[NVMM_X64_SEG_DS] = {

src/libs/nvmm/libnvmm_x86.c

2618

instr->legpref.seg = NVMM_X64_SEG_DS;

src/libs/nvmm/libnvmm_x86.c

3043

seg = NVMM_X64_SEG_DS;

src/libs/nvmm/libnvmm_x86.c

3086

seg = NVMM_X64_SEG_DS;

src/libs/nvmm/libnvmm_x86.c

3091

seg = NVMM_X64_SEG_DS;

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

101

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

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

247

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