Lines Matching refs:sel
802 ctxt.cs_sel = seg.sel; in hvm_save_cpu_ctxt()
808 ctxt.ds_sel = seg.sel; in hvm_save_cpu_ctxt()
814 ctxt.es_sel = seg.sel; in hvm_save_cpu_ctxt()
820 ctxt.ss_sel = seg.sel; in hvm_save_cpu_ctxt()
826 ctxt.fs_sel = seg.sel; in hvm_save_cpu_ctxt()
832 ctxt.gs_sel = seg.sel; in hvm_save_cpu_ctxt()
838 ctxt.tr_sel = seg.sel; in hvm_save_cpu_ctxt()
844 ctxt.ldtr_sel = seg.sel; in hvm_save_cpu_ctxt()
1057 seg.sel = ctxt.cs_sel; in hvm_load_cpu_ctxt()
1063 seg.sel = ctxt.ds_sel; in hvm_load_cpu_ctxt()
1069 seg.sel = ctxt.es_sel; in hvm_load_cpu_ctxt()
1075 seg.sel = ctxt.ss_sel; in hvm_load_cpu_ctxt()
1081 seg.sel = ctxt.fs_sel; in hvm_load_cpu_ctxt()
1087 seg.sel = ctxt.gs_sel; in hvm_load_cpu_ctxt()
1093 seg.sel = ctxt.tr_sel; in hvm_load_cpu_ctxt()
1099 seg.sel = ctxt.ldtr_sel; in hvm_load_cpu_ctxt()
2718 enum x86_segment seg, uint16_t sel, unsigned int cpl, unsigned int eflags) in hvm_load_segment_selector() argument
2729 segr.sel = sel; in hvm_load_segment_selector()
2730 segr.base = (uint32_t)sel << 4; in hvm_load_segment_selector()
2738 if ( (sel & 0xfffc) == 0 ) in hvm_load_segment_selector()
2743 segr.sel = sel; in hvm_load_segment_selector()
2749 if ( (seg == x86_seg_ldtr) && (sel & 4) ) in hvm_load_segment_selector()
2753 v, (sel & 4) ? x86_seg_ldtr : x86_seg_gdtr, &desctab); in hvm_load_segment_selector()
2760 if ( ((sel & 0xfff8) + 7) > desctab.limit ) in hvm_load_segment_selector()
2763 pdesc = hvm_map_entry(desctab.base + (sel & 0xfff8), &writable); in hvm_load_segment_selector()
2775 rpl = sel & 3; in hvm_load_segment_selector()
2839 segr.sel = sel; in hvm_load_segment_selector()
2847 hvm_inject_hw_exception(fault_type, sel & 0xfffc); in hvm_load_segment_selector()
2921 optss_desc = hvm_map_entry(gdt.base + (prev_tr.sel & 0xfff8), in hvm_task_switch()
2931 tr.sel = tss_sel; in hvm_task_switch()
2984 tss.es = segr.sel; in hvm_task_switch()
2986 tss.cs = segr.sel; in hvm_task_switch()
2988 tss.ss = segr.sel; in hvm_task_switch()
2990 tss.ds = segr.sel; in hvm_task_switch()
2992 tss.fs = segr.sel; in hvm_task_switch()
2994 tss.gs = segr.sel; in hvm_task_switch()
2996 tss.ldt = segr.sel; in hvm_task_switch()
3053 tss.back_link = prev_tr.sel; in hvm_task_switch()
3915 reg.sel = cs; in hvm_vcpu_reset_state()
3916 reg.base = (uint32_t)reg.sel << 4; in hvm_vcpu_reset_state()
3921 reg.sel = reg.base = 0; in hvm_vcpu_reset_state()
4994 ASSERT(!(reg->sel & 0x4)); /* !TI. */ in hvm_set_segment_register()
5007 ASSERT(!(reg->sel & 0x4)); /* !TI. */ in hvm_set_segment_register()