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