|
@@ -44,6 +44,7 @@
|
|
|
#include <plat/irq-vic-timer.h>
|
|
|
#include <plat/regs-irqtype.h>
|
|
|
#include <plat/regs-serial.h>
|
|
|
+#include <plat/watchdog-reset.h>
|
|
|
|
|
|
#include "common.h"
|
|
|
|
|
@@ -373,3 +374,12 @@ static int __init s3c64xx_init_irq_eint(void)
|
|
|
return 0;
|
|
|
}
|
|
|
arch_initcall(s3c64xx_init_irq_eint);
|
|
|
+
|
|
|
+void s3c64xx_restart(char mode, const char *cmd)
|
|
|
+{
|
|
|
+ if (mode != 's')
|
|
|
+ arch_wdt_reset();
|
|
|
+
|
|
|
+ /* if all else fails, or mode was for soft, jump to 0 */
|
|
|
+ soft_restart(0);
|
|
|
+}
|