|
@@ -4203,7 +4203,6 @@ static void save_state_to_tss16(struct kvm_vcpu *vcpu,
|
|
tss->ss = get_segment_selector(vcpu, VCPU_SREG_SS);
|
|
tss->ss = get_segment_selector(vcpu, VCPU_SREG_SS);
|
|
tss->ds = get_segment_selector(vcpu, VCPU_SREG_DS);
|
|
tss->ds = get_segment_selector(vcpu, VCPU_SREG_DS);
|
|
tss->ldt = get_segment_selector(vcpu, VCPU_SREG_LDTR);
|
|
tss->ldt = get_segment_selector(vcpu, VCPU_SREG_LDTR);
|
|
- tss->prev_task_link = get_segment_selector(vcpu, VCPU_SREG_TR);
|
|
|
|
}
|
|
}
|
|
|
|
|
|
static int load_state_from_tss16(struct kvm_vcpu *vcpu,
|
|
static int load_state_from_tss16(struct kvm_vcpu *vcpu,
|