|
@@ -1263,10 +1263,10 @@ static void apic_manage_nmi_watchdog(struct kvm_lapic *apic, u32 lvt0_val)
|
|
|
if (!nmi_wd_enabled) {
|
|
|
apic_debug("Receive NMI setting on APIC_LVT0 "
|
|
|
"for cpu %d\n", apic->vcpu->vcpu_id);
|
|
|
- apic->vcpu->kvm->arch.vapics_in_nmi_mode++;
|
|
|
+ atomic_inc(&apic->vcpu->kvm->arch.vapics_in_nmi_mode);
|
|
|
}
|
|
|
} else if (nmi_wd_enabled)
|
|
|
- apic->vcpu->kvm->arch.vapics_in_nmi_mode--;
|
|
|
+ atomic_dec(&apic->vcpu->kvm->arch.vapics_in_nmi_mode);
|
|
|
}
|
|
|
|
|
|
static int apic_reg_write(struct kvm_lapic *apic, u32 reg, u32 val)
|