2 * linux/include/asm-armnommu/arch-espd_4510b/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 extern void __do_dump( const char *s
);
16 static void arch_idle(void)
21 static inline void arch_reset(char mode
)
23 printk(KERN_ERR
"arch_reset() not implemented\n");