Lines Matching refs:old_tss_sel
2655 u16 tss_selector, u16 old_tss_sel, in task_switch_16() argument
2680 if (old_tss_sel != 0xffff) { in task_switch_16()
2681 tss_seg.prev_task_link = old_tss_sel; in task_switch_16()
2799 u16 tss_selector, u16 old_tss_sel, in task_switch_32() argument
2827 if (old_tss_sel != 0xffff) { in task_switch_32()
2828 tss_seg.prev_task_link = old_tss_sel; in task_switch_32()
2848 u16 old_tss_sel = get_segment_selector(ctxt, VCPU_SREG_TR); in emulator_do_task_switch() local
2859 ret = read_segment_descriptor(ctxt, old_tss_sel, &curr_tss_desc, &desc_addr); in emulator_do_task_switch()
2899 write_segment_descriptor(ctxt, old_tss_sel, &curr_tss_desc); in emulator_do_task_switch()
2908 old_tss_sel = 0xffff; in emulator_do_task_switch()
2911 ret = task_switch_32(ctxt, tss_selector, old_tss_sel, in emulator_do_task_switch()
2914 ret = task_switch_16(ctxt, tss_selector, old_tss_sel, in emulator_do_task_switch()