Lines Matching refs:VCPU_SREG_CS
2985 if (seg == VCPU_SREG_CS || seg == VCPU_SREG_SS) in fix_pmode_seg()
3007 vmx_get_segment(vcpu, &vmx->rmode.segs[VCPU_SREG_CS], VCPU_SREG_CS); in enter_pmode()
3023 fix_pmode_seg(vcpu, VCPU_SREG_CS, &vmx->rmode.segs[VCPU_SREG_CS]); in enter_pmode()
3037 if (seg == VCPU_SREG_CS) in fix_rmode_seg()
3084 vmx_get_segment(vcpu, &vmx->rmode.segs[VCPU_SREG_CS], VCPU_SREG_CS); in enter_rmode()
3104 fix_rmode_seg(VCPU_SREG_CS, &vmx->rmode.segs[VCPU_SREG_CS]); in enter_rmode()
3613 u32 ar = vmx_read_guest_seg_ar(to_vmx(vcpu), VCPU_SREG_CS); in vmx_get_cs_db_l_bits()
3650 if (seg == VCPU_SREG_CS) in rmode_segment_valid()
3669 vmx_get_segment(vcpu, &cs, VCPU_SREG_CS); in code_segment_valid()
3779 vmx_get_segment(vcpu, &cs, VCPU_SREG_CS); in cs_ss_rpl_check()
3795 if (!rmode_segment_valid(vcpu, VCPU_SREG_CS)) in __vmx_guest_state_valid()
3908 if (seg == VCPU_SREG_CS) in seg_setup()
4867 seg_setup(VCPU_SREG_CS); in vmx_vcpu_reset()