Lines Matching refs:VCPU_SREG_DS
3010 vmx_get_segment(vcpu, &vmx->rmode.segs[VCPU_SREG_DS], VCPU_SREG_DS);
3033 fix_pmode_seg(vcpu, VCPU_SREG_DS, &vmx->rmode.segs[VCPU_SREG_DS]);
3087 vmx_get_segment(vcpu, &vmx->rmode.segs[VCPU_SREG_DS], VCPU_SREG_DS);
3113 fix_rmode_seg(VCPU_SREG_DS, &vmx->rmode.segs[VCPU_SREG_DS]);
3805 if (!rmode_segment_valid(vcpu, VCPU_SREG_DS))
3821 if (!data_segment_valid(vcpu, VCPU_SREG_DS))
4884 seg_setup(VCPU_SREG_DS);