2 * arch/arm/mach-ixp4xx/include/mach/system.h
4 * Copyright (C) 2002 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.
12 #include <mach/hardware.h>
14 static inline void arch_idle(void)
16 /* ixp4xx does not implement the XScale PWRMODE register,
17 * so it must not call cpu_do_idle() here.
22 static inline void arch_reset(char mode
, const char *cmd
)
24 if ( 1 && mode
== 's') {
25 /* Jump into ROM at address 0 */
28 /* Use on-chip reset capability */
30 /* set the "key" register to enable access to
31 * "timer" and "enable" registers
33 *IXP4XX_OSWK
= IXP4XX_WDT_KEY
;
35 /* write 0 to the timer register for an immediate reset */
38 *IXP4XX_OSWE
= IXP4XX_WDT_RESET_ENABLE
| IXP4XX_WDT_COUNT_ENABLE
;