NVMM_X64_SEG_SS
instr->legpref.seg = NVMM_X64_SEG_SS;
seg = NVMM_X64_SEG_SS;
[NVMM_X64_SEG_SS] = {
svm_vcpu_setstate_seg(&state->segs[NVMM_X64_SEG_SS],
vmcb->state.cpl = state->segs[NVMM_X64_SEG_SS].attrib.dpl;
svm_vcpu_getstate_seg(&state->segs[NVMM_X64_SEG_SS],
state->segs[NVMM_X64_SEG_SS].attrib.dpl = vmcb->state.cpl;
vmx_vcpu_setstate_seg(state->segs, NVMM_X64_SEG_SS);
vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_SS);
[NVMM_X64_SEG_SS] = {
init_seg(&state->segs[NVMM_X64_SEG_SS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));
init_seg(&state->segs[NVMM_X64_SEG_SS], SDT_MEMRWA, GSEL(GDATA_SEL, SEL_KPL));