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

39

[NVMM_X64_SEG_ES] = {

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

2018

svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_ES],

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

1846

exit->u.io.seg = NVMM_X64_SEG_ES;

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

2617

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_ES);

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

2782

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_ES);

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

854

[NVMM_X64_SEG_ES] = {

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

39

[NVMM_X64_SEG_ES] = {

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

2018

svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_ES],

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

1846

exit->u.io.seg = NVMM_X64_SEG_ES;

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

2617

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_ES);

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

2782

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_ES);

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

854

[NVMM_X64_SEG_ES] = {

src/libs/nvmm/libnvmm_x86.c

1886

instr->dst.hardseg = NVMM_X64_SEG_ES;

src/libs/nvmm/libnvmm_x86.c

1922

stlo->hardseg = NVMM_X64_SEG_ES;

src/libs/nvmm/libnvmm_x86.c

2620

instr->legpref.seg = NVMM_X64_SEG_ES;

src/libs/nvmm/libnvmm_x86.c

3093

seg = NVMM_X64_SEG_ES;

src/libs/nvmm/libnvmm_x86.c

796

seg = NVMM_X64_SEG_ES;

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

102

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

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

248

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