text: // SPDX-License-Identifier: GPL-2.0
  /*
   *  linux/arch/mips/sni/process.c
   *
   *  Reset a SNI machine.
   */
  #include <linux/delay.h>
  
  #include <asm/io.h>
  #include <asm/reboot.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;
  
  	/* 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();
  			udelay(50);
  			outb_p(0xfe, 0x64);	 /* pulse reset low */
  			udelay(50);
  		}
  	}
  }
  
  void sni_machine_power_off(void)
  {
  	*(volatile unsigned char *)PCIMT_CSWCSM = 0xfd;
  }
  