2009-06-23 06:40:15 -06:00
|
|
|
/* linux/arch/arm/mach-s5pc100/include/mach/system.h
|
|
|
|
*
|
|
|
|
* Copyright 2009 Samsung Electronics Co.
|
|
|
|
* Byungho Min <bhmin@samsung.com>
|
|
|
|
*
|
|
|
|
* S5PC1XX - system implementation
|
|
|
|
*
|
|
|
|
* Based on mach-s3c6400/include/mach/system.h
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef __ASM_ARCH_SYSTEM_H
|
|
|
|
#define __ASM_ARCH_SYSTEM_H __FILE__
|
|
|
|
|
2009-11-17 00:41:17 -07:00
|
|
|
#include <linux/io.h>
|
|
|
|
#include <mach/map.h>
|
|
|
|
#include <plat/regs-clock.h>
|
|
|
|
|
|
|
|
void (*s5pc1xx_idle)(void);
|
|
|
|
|
2009-06-23 06:40:15 -06:00
|
|
|
static void arch_idle(void)
|
|
|
|
{
|
2009-11-17 00:41:17 -07:00
|
|
|
if (s5pc1xx_idle)
|
|
|
|
s5pc1xx_idle();
|
2009-06-23 06:40:15 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
static void arch_reset(char mode, const char *cmd)
|
|
|
|
{
|
2009-11-17 00:41:17 -07:00
|
|
|
__raw_writel(S5PC100_SWRESET_RESETVAL, S5PC100_SWRESET);
|
|
|
|
return;
|
2009-06-23 06:40:15 -06:00
|
|
|
}
|
|
|
|
#endif /* __ASM_ARCH_IRQ_H */
|