/* | |
* (C) Copyright 2002 | |
* Sysgo Real-Time Solutions, GmbH <www.elinos.com> | |
* Marius Groeger <mgroeger@sysgo.de> | |
* | |
* (C) Copyright 2002 | |
* Sysgo Real-Time Solutions, GmbH <www.elinos.com> | |
* Alex Zuepke <azu@sysgo.de> | |
* | |
* (C) Copyright 2002 | |
* Gary Jennejohn, DENX Software Engineering, <garyj@denx.de> | |
* | |
* (C) Copyright 2004 | |
* DAVE Srl | |
* http://www.dave-tech.it | |
* http://www.wawnet.biz | |
* mailto:info@wawnet.biz | |
* | |
* (C) Copyright 2004 Texas Insturments | |
* | |
* SPDX-License-Identifier: GPL-2.0+ | |
*/ | |
#include <common.h> | |
__weak void reset_misc(void) | |
{ | |
} | |
int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]) | |
{ | |
puts ("resetting ...\n"); | |
udelay (50000); /* wait 50 ms */ | |
disable_interrupts(); | |
reset_misc(); | |
reset_cpu(0); | |
/*NOTREACHED*/ | |
return 0; | |
} |