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
11#include <asm/cacheflush.h>
12#include <asm/mipsregs.h>
13#include <asm/processor.h>
14
15void wrppmc_machine_restart(char *command)
16{
17	/*
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
21	 * detection stuff.
22	 */
23	local_irq_disable();
24	set_c0_status(ST0_BEV | ST0_ERL);
25	change_c0_config(CONF_CM_CMASK, CONF_CM_UNCACHED);
26	flush_cache_all();
27	write_c0_wired(0);
28	__asm__ __volatile__("jr\t%0"::"r"(0xbfc00000));
29}
30
31void wrppmc_machine_halt(void)
32{
33	local_irq_disable();
34
35	printk(KERN_NOTICE "You can safely turn off the power\n");
36	while (1) {
37		if (cpu_wait)
38			cpu_wait();
39	}
40}