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 #include <irq_func.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 }