reset.c 810 B

12345678910111213141516171819202122232425262728293031323334353637383940414243
  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. #include <common.h>
  23. #include <irq_func.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. }