2 * linux/include/asm-armnommu/arch-s3c3410/system.h
4 #ifndef __ASM_ARCH_SYSTEM_H
5 #define __ASM_ARCH_SYSTEM_H
7 #include <asm/hardware.h>
11 static void arch_idle(void)
16 static inline void arch_reset(char mode
)
18 /* machine should reboot */
20 panic("Watchdog timer reset failed!\n");
21 printk(" Jump to address 0 \n");