2 * linux/include/asm-arm/arch-ep93xx/system.h
5 #include <asm/hardware.h>
7 static inline void arch_idle(void)
12 static inline void arch_reset(char mode
)
18 devicecfg
= __raw_readl(EP93XX_SYSCON_DEVICE_CONFIG
);
19 __raw_writel(0xaa, EP93XX_SYSCON_SWLOCK
);
20 __raw_writel(devicecfg
| 0x80000000, EP93XX_SYSCON_DEVICE_CONFIG
);
21 __raw_writel(0xaa, EP93XX_SYSCON_SWLOCK
);
22 __raw_writel(devicecfg
& ~0x80000000, EP93XX_SYSCON_DEVICE_CONFIG
);