1/* 2 * arch/arm/mach-ixp23xx/include/mach/system.h 3 * 4 * Copyright (C) 2003 Intel Corporation. 5 * 6 * This program is free software; you can redistribute it and/or modify 7 * it under the terms of the GNU General Public License version 2 as 8 * published by the Free Software Foundation. 9 */ 10 11#include <mach/hardware.h> 12#include <asm/mach-types.h> 13 14static inline void arch_idle(void) 15{ 16#if 0 17 if (!hlt_counter) 18 cpu_do_idle(); 19#endif 20} 21 22static inline void arch_reset(char mode, const char *cmd) 23{ 24 /* First try machine specific support */ 25 if (machine_is_ixdp2351()) { 26 *IXDP2351_CPLD_RESET1_REG = IXDP2351_CPLD_RESET1_MAGIC; 27 (void) *IXDP2351_CPLD_RESET1_REG; 28 *IXDP2351_CPLD_RESET1_REG = IXDP2351_CPLD_RESET1_ENABLE; 29 } 30 31 /* Use on-chip reset capability */ 32 *IXP23XX_RESET0 |= IXP23XX_RST_ALL; 33} 34