Searched refs:old_tss_sel (Results 1 – 1 of 1) sorted by relevance
2271 u16 tss_selector, u16 old_tss_sel, in task_switch_16() argument2299 if (old_tss_sel != 0xffff) { in task_switch_16()2300 tss_seg.prev_task_link = old_tss_sel; in task_switch_16()2418 u16 tss_selector, u16 old_tss_sel, in task_switch_32() argument2446 if (old_tss_sel != 0xffff) { in task_switch_32()2447 tss_seg.prev_task_link = old_tss_sel; in task_switch_32()2468 u16 old_tss_sel = get_segment_selector(ctxt, VCPU_SREG_TR); in emulator_do_task_switch() local2478 ret = read_segment_descriptor(ctxt, old_tss_sel, &curr_tss_desc); in emulator_do_task_switch()2523 write_segment_descriptor(ctxt, old_tss_sel, &curr_tss_desc); in emulator_do_task_switch()2532 old_tss_sel = 0xffff; in emulator_do_task_switch()[all …]