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/sched.h>
11 #include <asm/pgtable.h>
12 #include <asm/processor.h>
13 #include <asm/reboot.h>
14 #include <asm/system.h>
16 void galileo_machine_restart(char *command
)
18 *(volatile char *) 0xbc000000 = 0x0f;
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
25 set_c0_status(ST0_BEV
| ST0_ERL
);
26 change_c0_config(CONF_CM_CMASK
, CONF_CM_UNCACHED
);
29 __asm__
__volatile__("jr\t%0"::"r"(0xbfc00000));
32 void galileo_machine_halt(void)
34 printk(KERN_NOTICE
"You can safely turn off the power\n");
36 __asm__(".set\tmips3\n\t"
42 void galileo_machine_power_off(void)
44 galileo_machine_halt();