Searched defs:old_tss_sel (Results 1 – 1 of 1) sorted by relevance
2233 u16 tss_selector, u16 old_tss_sel, in task_switch_16()2360 u16 tss_selector, u16 old_tss_sel, in task_switch_32()2410 u16 old_tss_sel = get_segment_selector(ctxt, VCPU_SREG_TR); in emulator_do_task_switch() local