1 /* linux/arch/arm/mach-s5p6442/include/mach/system.h
2  *
3  * Copyright (c) 2010 Samsung Electronics Co., Ltd.
4  *		http://www.samsung.com/
5  *
6  * S5P6442 - system support header
7  *
8  * This program is free software; you can redistribute it and/or modify
9  * it under the terms of the GNU General Public License version 2 as
10  * published by the Free Software Foundation.
11 */
12 
13 #ifndef __ASM_ARCH_SYSTEM_H
14 #define __ASM_ARCH_SYSTEM_H __FILE__
15 
16 #include <plat/system-reset.h>
17 
arch_idle(void)18 static void arch_idle(void)
19 {
20 	/* nothing here yet */
21 }
22 
23 #endif /* __ASM_ARCH_SYSTEM_H */
24