1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3 * (C) Copyright 2002
4 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
5 * Marius Groeger <mgroeger@sysgo.de>
6 *
7 * (C) Copyright 2002
8 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
9 * Alex Zuepke <azu@sysgo.de>
10 *
11 * (C) Copyright 2002
12 * Gary Jennejohn, DENX Software Engineering, <garyj@denx.de>
13 *
14 * (C) Copyright 2004
15 * DAVE Srl
16 * http://www.dave-tech.it
17 * http://www.wawnet.biz
18 * mailto:info@wawnet.biz
19 *
20 * (C) Copyright 2004 Texas Insturments
21 */
22
23 #include <common.h>
24
reset_misc(void)25 __weak void reset_misc(void)
26 {
27 }
28
do_reset(cmd_tbl_t * cmdtp,int flag,int argc,char * const argv[])29 int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
30 {
31 puts ("resetting ...\n");
32
33 udelay (50000); /* wait 50 ms */
34
35 disable_interrupts();
36
37 reset_misc();
38 reset_cpu(0);
39
40 /*NOTREACHED*/
41 return 0;
42 }
43