NVMM_X64_SEG_GS
instr->legpref.seg = NVMM_X64_SEG_GS;
if (seg == NVMM_X64_SEG_GS || seg == NVMM_X64_SEG_FS) {
seg = NVMM_X64_SEG_GS;
if (seg == NVMM_X64_SEG_GS || seg == NVMM_X64_SEG_FS) {
[NVMM_X64_SEG_GS] = {
svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_GS],
svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_GS],
vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_GS);
vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GS);
[NVMM_X64_SEG_GS] = {
init_seg(&state->segs[NVMM_X64_SEG_GS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_GS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));