Searched defs:old_tss_sel (Results 1 – 1 of 1) sorted by relevance
88 …c int task_switch_32(CPUState *cpu, x86_segment_selector tss_sel, x86_segment_selector old_tss_sel, in task_switch_32()125 x86_segment_selector old_tss_sel = vmx_read_segment_selector(cpu, R_TR); in vmx_handle_task_switch() local