reset.c 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  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/sched.h>
  9. #include <linux/mm.h>
  10. #include <asm/io.h>
  11. #include <asm/pgtable.h>
  12. #include <asm/processor.h>
  13. #include <asm/reboot.h>
  14. #include <asm/system.h>
  15. #include <asm/cacheflush.h>
  16. void wrppmc_machine_restart(char *command)
  17. {
  18. /*
  19. * Ouch, we're still alive ... This time we take the silver bullet ...
  20. * ... and find that we leave the hardware in a state in which the
  21. * kernel in the flush locks up somewhen during of after the PCI
  22. * detection stuff.
  23. */
  24. local_irq_disable();
  25. set_c0_status(ST0_BEV | ST0_ERL);
  26. change_c0_config(CONF_CM_CMASK, CONF_CM_UNCACHED);
  27. flush_cache_all();
  28. write_c0_wired(0);
  29. __asm__ __volatile__("jr\t%0"::"r"(0xbfc00000));
  30. }
  31. void wrppmc_machine_halt(void)
  32. {
  33. local_irq_disable();
  34. printk(KERN_NOTICE "You can safely turn off the power\n");
  35. while (1) {
  36. __asm__(
  37. ".set\tmips3\n\t"
  38. "wait\n\t"
  39. ".set\tmips0"
  40. );
  41. }
  42. }
  43. void wrppmc_machine_power_off(void)
  44. {
  45. wrppmc_machine_halt();
  46. }