reset.c 1.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. /*
  2. * This file is subject to the terms and conditions of the GNU General Public
  3. * License. See the file "COPYING" in the main directory of this archive
  4. * for more details.
  5. *
  6. * Copyright (C) 1997 Ralf Baechle
  7. */
  8. #include <linux/irqflags.h>
  9. #include <linux/kernel.h>
  10. #include <asm/cacheflush.h>
  11. #include <asm/idle.h>
  12. #include <asm/mipsregs.h>
  13. #include <asm/processor.h>
  14. void wrppmc_machine_restart(char *command)
  15. {
  16. /*
  17. * Ouch, we're still alive ... This time we take the silver bullet ...
  18. * ... and find that we leave the hardware in a state in which the
  19. * kernel in the flush locks up somewhen during of after the PCI
  20. * detection stuff.
  21. */
  22. local_irq_disable();
  23. set_c0_status(ST0_BEV | ST0_ERL);
  24. change_c0_config(CONF_CM_CMASK, CONF_CM_UNCACHED);
  25. flush_cache_all();
  26. write_c0_wired(0);
  27. __asm__ __volatile__("jr\t%0"::"r"(0xbfc00000));
  28. }
  29. void wrppmc_machine_halt(void)
  30. {
  31. local_irq_disable();
  32. printk(KERN_NOTICE "You can safely turn off the power\n");
  33. while (1) {
  34. if (cpu_wait)
  35. cpu_wait();
  36. }
  37. }