/*
 * arch/arm/mach-ep93xx/include/mach/system.h
 */
static inline void arch_idle(void)
{
	cpu_do_idle();
}