[PATCH] Fix watchdog drivers to call emergency_reboot()

If a watchdog driver has decided it is time to reboot the system
we know something is wrong and we are in interrupt context
so emergency_reboot() is what we want.

Signed-off-by: Eric W. Biederman <ebiederm@xmission.com>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>

4 files changed, 4 insertions, 4 deletions

diff --git a/drivers/char/watchdog/eurotechwdt.c b/drivers/char/watchdog/eurotechwdt.c
index d10e554a14d6..f1016e3ba117 100644
--- a/drivers/char/watchdog/eurotechwdt.c
+++ b/drivers/char/watchdog/eurotechwdt.c
@@ -167,7 +167,7 @@ static irqreturn_t eurwdt_interrupt(int irq, void *dev_id, struct pt_regs *regs)
         printk(KERN_CRIT "Would Reboot.\n");
 #else
         printk(KERN_CRIT "Initiating system reboot.\n");
-        machine_restart(NULL);
+        emergency_restart(NULL);
 #endif
         return IRQ_HANDLED;
 }
diff --git a/drivers/char/watchdog/softdog.c b/drivers/char/watchdog/softdog.c
index 117903498a01..0d93097f06b4 100644
--- a/drivers/char/watchdog/softdog.c
+++ b/drivers/char/watchdog/softdog.c
@@ -97,7 +97,7 @@ static void watchdog_fire(unsigned long data)
         else
         {
                 printk(KERN_CRIT PFX "Initiating system reboot.\n");
-                machine_restart(NULL);
+                emergency_restart(NULL);
                 printk(KERN_CRIT PFX "Reboot didn't ?????\n");
         }
 }
diff --git a/drivers/char/watchdog/wdt.c b/drivers/char/watchdog/wdt.c
index 5684aa379886..1210ca0c425b 100644
--- a/drivers/char/watchdog/wdt.c
+++ b/drivers/char/watchdog/wdt.c
@@ -266,7 +266,7 @@ static irqreturn_t wdt_interrupt(int irq, void *dev_id, struct pt_regs *regs)
                 printk(KERN_CRIT "Would Reboot.\n");
 #else
                 printk(KERN_CRIT "Initiating system reboot.\n");
-                machine_restart(NULL);
+                emergency_restart();
 #endif
 #else
                 printk(KERN_CRIT "Reset in 5ms.\n");
diff --git a/drivers/char/watchdog/wdt_pci.c b/drivers/char/watchdog/wdt_pci.c
index 7651deda928c..c80cb77b92fb 100644
--- a/drivers/char/watchdog/wdt_pci.c
+++ b/drivers/char/watchdog/wdt_pci.c
@@ -311,7 +311,7 @@ static irqreturn_t wdtpci_interrupt(int irq, void *dev_id, struct pt_regs *regs)
                 printk(KERN_CRIT PFX "Would Reboot.\n");
 #else
                 printk(KERN_CRIT PFX "Initiating system reboot.\n");
-                machine_restart(NULL);
+                emergency_restart(NULL);
 #endif
 #else
                 printk(KERN_CRIT PFX "Reset in 5ms.\n");