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 26 __weak void reset_misc(void) 27 { 28 } 29 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