3 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
7 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
15 * http://www.dave-tech.it
16 * http://www.wawnet.biz
19 * (C) Copyright 2004 Texas Insturments
21 * SPDX-License-Identifier: GPL-2.0+
26 __weak void reset_misc(void)
30 int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
32 puts ("resetting ...\n");
34 udelay (50000); /* wait 50 ms */