|
@@ -11,6 +11,8 @@
|
|
|
#ifndef __ASM_ARCH_SYSTEM_H
|
|
|
#define __ASM_ARCH_SYSTEM_H __FILE__
|
|
|
|
|
|
+#include <plat/watchdog-reset.h>
|
|
|
+
|
|
|
static void arch_idle(void)
|
|
|
{
|
|
|
/* nothing here yet */
|
|
@@ -18,7 +20,11 @@ static void arch_idle(void)
|
|
|
|
|
|
static void arch_reset(char mode, const char *cmd)
|
|
|
{
|
|
|
- /* nothing here yet */
|
|
|
+ if (mode != 's')
|
|
|
+ arch_wdt_reset();
|
|
|
+
|
|
|
+ /* if all else fails, or mode was for soft, jump to 0 */
|
|
|
+ cpu_reset(0);
|
|
|
}
|
|
|
|
|
|
#endif /* __ASM_ARCH_IRQ_H */
|