Lines Matching refs:VCPU_SREG_DS
1325 ctxt->modrm_seg = VCPU_SREG_DS;
3106 tss->ds = get_segment_selector(ctxt, VCPU_SREG_DS);
3135 set_segment_selector(ctxt, tss->ds, VCPU_SREG_DS);
3159 ret = __load_segment_descriptor(ctxt, tss->ds, VCPU_SREG_DS, cpl,
3220 tss->ds = get_segment_selector(ctxt, VCPU_SREG_DS);
3255 set_segment_selector(ctxt, tss->ds, VCPU_SREG_DS);
3292 ret = __load_segment_descriptor(ctxt, tss->ds, VCPU_SREG_DS, cpl,
5157 op->val = VCPU_SREG_DS;
5261 ctxt->seg_override = VCPU_SREG_DS;
5441 ctxt->seg_override = VCPU_SREG_DS;