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