Searched refs:old_tss_sel (Results 1 – 1 of 1) sorted by relevance
3665 u16 old_tss_sel = get_segment_selector(vcpu, VCPU_SREG_TR); in kvm_task_switch() local3675 if (load_guest_segment_descriptor(vcpu, old_tss_sel, &cseg_desc)) in kvm_task_switch()3695 save_guest_segment_descriptor(vcpu, old_tss_sel, &cseg_desc); in kvm_task_switch()