2 * arch/arm/mach-ixp23xx/include/mach/system.h
4 * Copyright (C) 2003 Intel Corporation.
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.
11 #include <mach/hardware.h>
12 #include <asm/mach-types.h>
14 static inline void arch_idle(void)
22 static inline void arch_reset(char mode
, const char *cmd
)
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
;
31 /* Use on-chip reset capability */
32 *IXP23XX_RESET0
|= IXP23XX_RST_ALL
;