vserver 1.9.3
[linux-2.6.git] / arch / x86_64 / kernel / nmi.c
index 35dd5df..4920c8d 100644 (file)
@@ -390,7 +390,8 @@ void nmi_watchdog_tick (struct pt_regs * regs, unsigned reason)
                 */
                alert_counter[cpu]++;
                if (alert_counter[cpu] == 5*nmi_hz) {
-                       if (notify_die(DIE_NMI, "nmi", regs, reason, 2, SIGINT) == NOTIFY_BAD) { 
+                       if (notify_die(DIE_NMI, "nmi", regs, reason, 2, SIGINT)
+                                                       == NOTIFY_STOP) {
                                alert_counter[cpu] = 0; 
                                return;
                        }