2011-02-14 07:33:10 +00:00
|
|
|
/* linux/arch/arm/mach-exynos4/include/mach/system.h
|
2010-07-26 12:08:52 +00:00
|
|
|
*
|
2011-02-14 07:33:10 +00:00
|
|
|
* Copyright (c) 2010-2011 Samsung Electronics Co., Ltd.
|
|
|
|
* http://www.samsung.com
|
2010-07-26 12:08:52 +00:00
|
|
|
*
|
2011-02-14 07:33:10 +00:00
|
|
|
* EXYNOS4 - system support header
|
2010-07-26 12:08:52 +00:00
|
|
|
*
|
|
|
|
* 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 */
|