include/asm-arm/arch-s3c3410/system.h

   1 /*
   2  *  linux/include/asm-armnommu/arch-s3c3410/system.h
   3  *
   4  *  Copyright (C) 2002 SAMSUNG ELECTRONICS
   5  *                       Hyok S. Choi <hyok.choi@samsung.com>
   6  *
   7  */
   8 #ifndef __ASM_ARCH_SYSTEM_H
   9 #define __ASM_ARCH_SYSTEM_H
  10
  11 #include <asm/hardware.h>
  12 #include <asm/io.h>
  13
  14
  15 static void arch_idle(void)
  16 {
  17         cpu_do_idle();
  18 }
  19
  20 static inline void arch_reset(char mode)
  21 {
  22         /* machine should reboot */
  23         mdelay(5000);
  24         panic("Watchdog timer reset failed!\n");
  25         printk(" Jump to address 0 \n");
  26         cpu_reset(0);
  27 }
  28
  29 #endif