2010-01-29 09:12:14 +08:00
|
|
|
/* linux/arch/arm/mach-s5p6442/include/mach/system.h
|
|
|
|
*
|
|
|
|
* Copyright (c) 2010 Samsung Electronics Co., Ltd.
|
|
|
|
* http://www.samsung.com/
|
|
|
|
*
|
|
|
|
* S5P6442 - 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__
|
|
|
|
|
2010-06-23 20:35:03 +08:00
|
|
|
#include <plat/system-reset.h>
|
2010-01-29 09:12:14 +08:00
|
|
|
|
2010-06-23 20:35:03 +08:00
|
|
|
static void arch_idle(void)
|
2010-01-29 09:12:14 +08:00
|
|
|
{
|
|
|
|
/* nothing here yet */
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif /* __ASM_ARCH_SYSTEM_H */
|