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