arch/mips/gt64120/wrppmc/reset.c

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