arch/arm/lib/reset.c

   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 }