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 25 __weak void reset_misc(void) 26 { 27 } 28 29 int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]) 30 { 31 puts ("resetting ...\n"); 32 33 udelay (50000); /* wait 50 ms */ 34 35 disable_interrupts(); 36 37 reset_misc(); 38 reset_cpu(0); 39 40 /*NOTREACHED*/ 41 return 0; 42 } 43