Lines Matching refs:old_tss_sel
3168 u16 tss_selector, u16 old_tss_sel,
3189 if (old_tss_sel != 0xffff) {
3190 tss_seg.prev_task_link = old_tss_sel;
3307 u16 tss_selector, u16 old_tss_sel,
3332 if (old_tss_sel != 0xffff) {
3333 tss_seg.prev_task_link = old_tss_sel;
3352 u16 old_tss_sel = get_segment_selector(ctxt, VCPU_SREG_TR);
3363 ret = read_segment_descriptor(ctxt, old_tss_sel, &curr_tss_desc, &desc_addr);
3403 write_segment_descriptor(ctxt, old_tss_sel, &curr_tss_desc);
3410 note that old_tss_sel is not used after this point */
3412 old_tss_sel = 0xffff;
3415 ret = task_switch_32(ctxt, tss_selector, old_tss_sel,
3418 ret = task_switch_16(ctxt, tss_selector, old_tss_sel,