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
6 * Copyright (C) 1997 Ralf Baechle
8 #include <linux/irqflags.h>
9 #include <linux/kernel.h>
11 #include <asm/cacheflush.h>
12 #include <asm/mipsregs.h>
13 #include <asm/processor.h>
15 void wrppmc_machine_restart(char *command)
18 * Ouch, we're still alive ... This time we take the silver bullet ...
19 * ... and find that we leave the hardware in a state in which the
20 * kernel in the flush locks up somewhen during of after the PCI
24 set_c0_status(ST0_BEV | ST0_ERL);
25 change_c0_config(CONF_CM_CMASK, CONF_CM_UNCACHED);
28 __asm__ __volatile__("jr\t%0"::"r"(0xbfc00000));
31 void wrppmc_machine_halt(void)
35 printk(KERN_NOTICE "You can safely turn off the power\n");