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

2780

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_CS);

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

2782

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_ES);

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

2783

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_FS);

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

2784

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GS);

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

2785

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_SS);

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

2786

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GDT);

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

2787

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_IDT);

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

2788

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_LDT);

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

2789

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_TR);

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

2780

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_CS);

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

2782

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_ES);

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

2783

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_FS);

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

2784

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GS);

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

2785

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_SS);

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

2786

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GDT);

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

2787

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_IDT);

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

2788

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_LDT);

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

2789

vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_TR);