|
@@ -8078,7 +8078,7 @@ static void vmcs12_save_pending_event(struct kvm_vcpu *vcpu,
|
|
}
|
|
}
|
|
|
|
|
|
vmcs12->idt_vectoring_info_field = idt_vectoring;
|
|
vmcs12->idt_vectoring_info_field = idt_vectoring;
|
|
- } else if (vcpu->arch.nmi_pending) {
|
|
|
|
|
|
+ } else if (vcpu->arch.nmi_injected) {
|
|
vmcs12->idt_vectoring_info_field =
|
|
vmcs12->idt_vectoring_info_field =
|
|
INTR_TYPE_NMI_INTR | INTR_INFO_VALID_MASK | NMI_VECTOR;
|
|
INTR_TYPE_NMI_INTR | INTR_INFO_VALID_MASK | NMI_VECTOR;
|
|
} else if (vcpu->arch.interrupt.pending) {
|
|
} else if (vcpu->arch.interrupt.pending) {
|