2 * include/asm-arm/arch-ixp4x//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 <asm/hardware.h>
14 static inline void arch_idle(void)
23 static inline void arch_reset(char mode)
25 if ( 1 && mode == 's') {
26 /* Jump into ROM at address 0 */
29 /* Use on-chip reset capability */
31 /* set the "key" register to enable access to
32 * "timer" and "enable" registers
34 *IXP4XX_OSWK = IXP4XX_WDT_KEY;
36 /* write 0 to the timer register for an immediate reset */
39 *IXP4XX_OSWE = IXP4XX_WDT_RESET_ENABLE | IXP4XX_WDT_COUNT_ENABLE;