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 #include <irq_func.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