Searched defs:old_tss_sel (Results 1 – 1 of 1) sorted by relevance
1892 u16 tss_selector, u16 old_tss_sel, in task_switch_16()2024 u16 tss_selector, u16 old_tss_sel, in task_switch_32()2073 u16 old_tss_sel = ops->get_segment_selector(VCPU_SREG_TR, ctxt->vcpu); in emulator_do_task_switch() local