Lines Matching refs:VCPU_SREG_ES
3009 vmx_get_segment(vcpu, &vmx->rmode.segs[VCPU_SREG_ES], VCPU_SREG_ES);
3032 fix_pmode_seg(vcpu, VCPU_SREG_ES, &vmx->rmode.segs[VCPU_SREG_ES]);
3086 vmx_get_segment(vcpu, &vmx->rmode.segs[VCPU_SREG_ES], VCPU_SREG_ES);
3112 fix_rmode_seg(VCPU_SREG_ES, &vmx->rmode.segs[VCPU_SREG_ES]);
3807 if (!rmode_segment_valid(vcpu, VCPU_SREG_ES))
3823 if (!data_segment_valid(vcpu, VCPU_SREG_ES))
4885 seg_setup(VCPU_SREG_ES);