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

2615

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_CS);

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

2617

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_ES);

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

2618

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_FS);

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

2619

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_GS);

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

2620

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_SS);

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

2621

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_GDT);

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

2622

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_IDT);

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

2623

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_LDT);

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

2624

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_TR);

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

2615

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_CS);

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

2617

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_ES);

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

2618

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_FS);

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

2619

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_GS);

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

2620

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_SS);

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

2621

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_GDT);

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

2622

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_IDT);

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

2623

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_LDT);

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

2624

vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_TR);