/* linux/arch/arm/mach-exynos4/include/mach/system.h * * Copyright (c) 2010-2011 Samsung Electronics Co., Ltd. * http://www.samsung.com * * EXYNOS4 - system support header * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License version 2 as * published by the Free Software Foundation. */ #ifndef __ASM_ARCH_SYSTEM_H #define __ASM_ARCH_SYSTEM_H __FILE__ static void arch_idle(void) { cpu_do_idle(); } #endif /* __ASM_ARCH_SYSTEM_H */