Lines Matching refs:VCPU_SREG_DS
1190 ctxt->modrm_seg = VCPU_SREG_DS;
2681 tss->ds = get_segment_selector(ctxt, VCPU_SREG_DS);
2710 set_segment_selector(ctxt, tss->ds, VCPU_SREG_DS);
2734 ret = __load_segment_descriptor(ctxt, tss->ds, VCPU_SREG_DS, cpl,
2794 tss->ds = get_segment_selector(ctxt, VCPU_SREG_DS);
2829 set_segment_selector(ctxt, tss->ds, VCPU_SREG_DS);
2866 ret = __load_segment_descriptor(ctxt, tss->ds, VCPU_SREG_DS, cpl,
4739 op->val = VCPU_SREG_DS;
4843 ctxt->seg_override = VCPU_SREG_DS;
5026 ctxt->seg_override = VCPU_SREG_DS;