text: /*
   * linux/include/asm-arm/arch-sa1100/system.h
   *
   * Copyright (c) 1999 Nicolas Pitre <nico@cam.org>
   */
  #include <linux/config.h>
  #include <asm/hardware.h>
  
  static inline void arch_idle(void)
  {
  	cpu_do_idle();
  }
  
  static inline void arch_reset(char mode)
  {
  	if (mode == 's') {
  		/* Jump into ROM at address 0 */
  		cpu_reset(0);
  	} else {
  		/* Use on-chip reset capability */
  		RSRR = RSRR_SWR;
  	}
  }
  