1 /* linux/arch/arm/mach-exynos4/include/mach/system.h
3 * Copyright (c) 2010-2011 Samsung Electronics Co., Ltd.
4 * http://www.samsung.com
6 * EXYNOS4 - system support header
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.
13 #ifndef __ASM_ARCH_SYSTEM_H
14 #define __ASM_ARCH_SYSTEM_H __FILE__
16 #include <plat/system-reset.h>
18 static void arch_idle(void)
20 /* nothing here yet */
22 #endif /* __ASM_ARCH_SYSTEM_H */