diff options
-rw-r--r-- | drivers/char/hangcheck-timer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/char/hangcheck-timer.c b/drivers/char/hangcheck-timer.c index 78e650fc5b41..81d811edf3c5 100644 --- a/drivers/char/hangcheck-timer.c +++ b/drivers/char/hangcheck-timer.c | |||
@@ -173,7 +173,7 @@ static void hangcheck_fire(unsigned long data) | |||
173 | } | 173 | } |
174 | if (hangcheck_reboot) { | 174 | if (hangcheck_reboot) { |
175 | printk(KERN_CRIT "Hangcheck: hangcheck is restarting the machine.\n"); | 175 | printk(KERN_CRIT "Hangcheck: hangcheck is restarting the machine.\n"); |
176 | machine_restart(NULL); | 176 | emergency_restart(); |
177 | } else { | 177 | } else { |
178 | printk(KERN_CRIT "Hangcheck: hangcheck value past margin!\n"); | 178 | printk(KERN_CRIT "Hangcheck: hangcheck value past margin!\n"); |
179 | } | 179 | } |