Files

50 lines
923 B
C

// SPDX-License-Identifier: GPL-2.0+
/*
* (C) Copyright 2002
* Sysgo Real-Time Solutions, GmbH <www.elinos.com>
* Marius Groeger <[email protected]>
*
* (C) Copyright 2002
* Sysgo Real-Time Solutions, GmbH <www.elinos.com>
* Alex Zuepke <[email protected]>
*
* (C) Copyright 2002
* Gary Jennejohn, DENX Software Engineering, <[email protected]>
*
* (C) Copyright 2004
* DAVE Srl
* http://www.dave-tech.it
* http://www.wawnet.biz
* mailto:[email protected]
*
* (C) Copyright 2004 Texas Insturments
*/
#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");
#if defined(CONFIG_AML_REBOOT)
run_command("reboot", 0);
#else
udelay (50000); /* wait 50 ms */
disable_interrupts();
dcache_disable();
//reset_misc(); /* a1 call this function here crash ? */
reset_cpu(0);
#endif
/*NOTREACHED*/
return 0;
}