| /* |
| * This file is subject to the terms and conditions of the GNU General Public |
| * License. See the file "COPYING" in the main directory of this archive |
| * for more details. |
| * |
| * Copyright (C) 1997 Ralf Baechle |
| */ |
| #include <linux/irqflags.h> |
| #include <linux/kernel.h> |
| |
| #include <asm/cacheflush.h> |
| #include <asm/mipsregs.h> |
| #include <asm/processor.h> |
| |
| void wrppmc_machine_restart(char *command) |
| { |
| /* |
| * Ouch, we're still alive ... This time we take the silver bullet ... |
| * ... and find that we leave the hardware in a state in which the |
| * kernel in the flush locks up somewhen during of after the PCI |
| * detection stuff. |
| */ |
| local_irq_disable(); |
| set_c0_status(ST0_BEV | ST0_ERL); |
| change_c0_config(CONF_CM_CMASK, CONF_CM_UNCACHED); |
| flush_cache_all(); |
| write_c0_wired(0); |
| __asm__ __volatile__("jr\t%0"::"r"(0xbfc00000)); |
| } |
| |
| void wrppmc_machine_halt(void) |
| { |
| local_irq_disable(); |
| |
| printk(KERN_NOTICE "You can safely turn off the power\n"); |
| while (1) { |
| if (cpu_wait) |
| cpu_wait(); |
| } |
| } |
