/* * 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/sched.h>#include <linux/mm.h>#include <asm/io.h>#include <asm/pgtable.h>#include <asm/processor.h>#include <asm/reboot.h>#include <asm/system.h>void galileo_machine_restart(char *command){	*(volatile char *) 0xbc000000 = 0x0f;	/*	 * 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.	 */	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 galileo_machine_halt(void){	printk(KERN_NOTICE "You can safely turn off the power\n");	while (1)		__asm__(".set\tmips3\n\t"	                "wait\n\t"			".set\tmips0");}void galileo_machine_power_off(void){	galileo_machine_halt();}