arch/arm/lib/reset.c

   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 }