NVMM_X64_SEG_ES
instr->dst.hardseg = NVMM_X64_SEG_ES;
instr->dst.hardseg = NVMM_X64_SEG_ES;
stlo->hardseg = NVMM_X64_SEG_ES;
instr->legpref.seg = NVMM_X64_SEG_ES;
seg = NVMM_X64_SEG_ES;
seg = NVMM_X64_SEG_ES;
[NVMM_X64_SEG_ES] = {
svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_ES],
svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_ES],
exit->u.io.seg = NVMM_X64_SEG_ES;
vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_ES);
vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_ES);
[NVMM_X64_SEG_ES] = {
init_seg(&state->segs[NVMM_X64_SEG_ES], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_ES], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));