text: /*
   * 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, 2002 Ralf Baechle
   */
  #include <linux/sched.h>
  #include <linux/mm.h>
  #include <asm/io.h>
  #include <asm/cacheflush.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();
  }
  