3 * Lineo, Inc. <www.lineo.com>
4 * Bernhard Kuhn <bkuhn@lineo.com>
7 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
8 * Marius Groeger <mgroeger@sysgo.de>
11 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
12 * Alex Zuepke <azu@sysgo.de>
14 * SPDX-License-Identifier: GPL-2.0+
19 #include <asm/arch/hardware.h>
20 #include <asm/arch/at91_st.h>
22 void __attribute__((weak)) board_reset(void)
24 /* true empty function for defining weak symbol */
27 void reset_cpu(ulong ignored)
29 at91_st_t *st = (at91_st_t *) ATMEL_BASE_ST;
33 /* Reset the cpu by setting up the watchdog timer */
34 writel(AT91_ST_WDMR_RSTEN | AT91_ST_WDMR_EXTEN | AT91_ST_WDMR_WDV(2),
36 writel(AT91_ST_CR_WDRST, &st->cr);
37 /* and let it timeout */