/*
   *  linux/arch/mips/sni/process.c
   *
   *  Reset a SNI machine.
   */
  #include <asm/io.h>
  #include <asm/reboot.h>
  #include <asm/system.h>
  #include <asm/sni.h>
  
  /*
   * This routine reboots the machine by asking the keyboard
   * controller to pulse the reset-line low. We try that for a while,
   * and if it doesn't work, we do some other stupid things.
   */

  static inline void kb_wait(void)

  {
  	int i;

  	for (i = 0; i < 0x10000; i++)

  		if ((inb_p(0x64) & 0x02) == 0)
  			break;
  }
  
  /* XXX This ends up at the ARC firmware prompt ...  */
  void sni_machine_restart(char *command)
  {
  	int i, j;
  
  	/* This does a normal via the keyboard controller like a PC.
  	   We can do that easier ...  */
  	local_irq_disable();
  	for (;;) {

  		for (i = 0; i < 100; i++) {

  			kb_wait();

  			for (j = 0; j < 100000 ; j++)

  				/* nothing */;

  			outb_p(0xfe, 0x64);	 /* pulse reset low */

  		}
  	}
  }

  void sni_machine_power_off(void)
  {
  	*(volatile unsigned char *)PCIMT_CSWCSM = 0xfd;
  }