1 /* 2 * linux/include/asm-arm/arch-epxa10db/system.h 3 * 4 * Copyright (C) 1999 ARM Limited 5 * Copyright (C) 2000 Deep Blue Solutions Ltd 6 * Copyright (C) 2001 Altera Corporation 7 * 8 * This program is free software; you can redistribute it and/or modify 9 * it under the terms of the GNU General Public License as published by 10 * the Free Software Foundation; either version 2 of the License, or 11 * (at your option) any later version. 12 * 13 * This program is distributed in the hope that it will be useful, 14 * but WITHOUT ANY WARRANTY; without even the implied warranty of 15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16 * GNU General Public License for more details. 17 * 18 * You should have received a copy of the GNU General Public License 19 * along with this program; if not, write to the Free Software 20 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 21 */ 22 #ifndef __ASM_ARCH_SYSTEM_H 23 #define __ASM_ARCH_SYSTEM_H 24 25 #include <asm/arch/platform.h> 26 #include <asm/arch/excalibur.h> 27 #include <asm/arch/watchdog00.h> 28 #define WATCHDOG00_TYPE (volatile unsigned int*) 29 arch_idle(void)30static void arch_idle(void) 31 { 32 /* 33 * This should do all the clock switching 34 * and wait for interrupt tricks 35 */ 36 cpu_do_idle(); 37 } 38 arch_reset(char mode)39extern __inline__ void arch_reset(char mode) 40 { 41 42 /* Force the watchdog to generate a reset */ 43 *WDOG_CR(EXC_WATCHDOG00_BASE)=*WDOG_COUNT(EXC_WATCHDOG00_BASE)+0x100; 44 } 45 46 #endif 47