// SPDX-License-Identifier: GPL-2.0+ | |
/* | |
* (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 | |
*/ | |
#include <common.h> | |
#include <command.h> | |
#include <cpu_func.h> | |
#include <irq_func.h> | |
#include <linux/delay.h> | |
#include <stdio.h> | |
__weak void reset_misc(void) | |
{ | |
} | |
int do_reset(struct cmd_tbl *cmdtp, int flag, int argc, char *const argv[]) | |
{ | |
puts ("resetting ...\n"); | |
flush(); | |
disable_interrupts(); | |
reset_misc(); | |
reset_cpu(); | |
/*NOTREACHED*/ | |
return 0; | |
} |