Lines Matching refs:VCPU_SREG_CS
2857 if (seg == VCPU_SREG_CS || seg == VCPU_SREG_SS) in fix_pmode_seg()
2879 vmx_get_segment(vcpu, &vmx->rmode.segs[VCPU_SREG_CS], VCPU_SREG_CS); in enter_pmode()
2895 fix_pmode_seg(vcpu, VCPU_SREG_CS, &vmx->rmode.segs[VCPU_SREG_CS]); in enter_pmode()
2909 if (seg == VCPU_SREG_CS) in fix_rmode_seg()
2948 vmx_get_segment(vcpu, &vmx->rmode.segs[VCPU_SREG_CS], VCPU_SREG_CS); in enter_rmode()
2976 fix_rmode_seg(VCPU_SREG_CS, &vmx->rmode.segs[VCPU_SREG_CS]); in enter_rmode()
3477 u32 ar = vmx_read_guest_seg_ar(to_vmx(vcpu), VCPU_SREG_CS); in vmx_get_cs_db_l_bits()
3514 if (seg == VCPU_SREG_CS) in rmode_segment_valid()
3533 vmx_get_segment(vcpu, &cs, VCPU_SREG_CS); in code_segment_valid()
3643 vmx_get_segment(vcpu, &cs, VCPU_SREG_CS); in cs_ss_rpl_check()
3659 if (!rmode_segment_valid(vcpu, VCPU_SREG_CS)) in __vmx_guest_state_valid()
3772 if (seg == VCPU_SREG_CS) in seg_setup()
4751 seg_setup(VCPU_SREG_CS); in vmx_vcpu_reset()