|
@@ -357,7 +357,7 @@ static void clear_msr_range(unsigned int base, unsigned int n)
|
|
wrmsr(base+i, 0, 0);
|
|
wrmsr(base+i, 0, 0);
|
|
}
|
|
}
|
|
|
|
|
|
-static inline void write_watchdog_counter(const char *descr)
|
|
|
|
|
|
+static void write_watchdog_counter(const char *descr)
|
|
{
|
|
{
|
|
u64 count = (u64)cpu_khz * 1000;
|
|
u64 count = (u64)cpu_khz * 1000;
|
|
|
|
|
|
@@ -544,7 +544,7 @@ void nmi_watchdog_tick (struct pt_regs * regs)
|
|
* die_nmi will return ONLY if NOTIFY_STOP happens..
|
|
* die_nmi will return ONLY if NOTIFY_STOP happens..
|
|
*/
|
|
*/
|
|
die_nmi(regs, "NMI Watchdog detected LOCKUP");
|
|
die_nmi(regs, "NMI Watchdog detected LOCKUP");
|
|
-
|
|
|
|
|
|
+ } else {
|
|
last_irq_sums[cpu] = sum;
|
|
last_irq_sums[cpu] = sum;
|
|
alert_counter[cpu] = 0;
|
|
alert_counter[cpu] = 0;
|
|
}
|
|
}
|