| /* 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__ |
| |
| #include <plat/system-reset.h> |
| |
| static void arch_idle(void) |
| { |
| /* nothing here yet */ |
| } |
| #endif /* __ASM_ARCH_SYSTEM_H */ |
