Lines Matching defs:cs_sel
2828 u16 cs_sel, ss_sel;
2846 cs_sel = (u16)(msr_data & 0xfffc);
2853 ops->set_segment(ctxt, cs_sel, &cs, 0, VCPU_SREG_CS);
2887 u16 cs_sel, ss_sel;
2913 cs_sel = (u16)msr_data & ~SEGMENT_RPL_MASK;
2914 ss_sel = cs_sel + 8;
2920 ops->set_segment(ctxt, cs_sel, &cs, 0, VCPU_SREG_CS);
2941 u16 cs_sel = 0, ss_sel = 0;
2963 cs_sel = (u16)(msr_data + 16);
2971 cs_sel = (u16)(msr_data + 32);
2974 ss_sel = cs_sel + 8;
2982 cs_sel |= SEGMENT_RPL_MASK;
2985 ops->set_segment(ctxt, cs_sel, &cs, 0, VCPU_SREG_CS);