reset.c 791 B

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