2 * linux/include/asm-armnommu/arch-s3c3410/system.h
4 * Copyright (C) 2002 SAMSUNG ELECTRONICS
5 * Hyok S. Choi <hyok.choi@samsung.com>
8 #ifndef __ASM_ARCH_SYSTEM_H
9 #define __ASM_ARCH_SYSTEM_H
11 #include <asm/hardware.h>
15 static void arch_idle(void)
20 static inline void arch_reset(char mode
)
22 /* machine should reboot */
24 panic("Watchdog timer reset failed!\n");
25 printk(" Jump to address 0 \n");