2 * linux/include/asm-armnommu/arch-p2001/system.h
4 * Copyright (C) 2004 Tobias Lorenz
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 #ifndef __ASM_ARCH_SYSTEM_H
12 #define __ASM_ARCH_SYSTEM_H
14 #include <asm/hardware.h>
18 static void arch_idle(void)
23 static inline void arch_reset(char mode
)
25 /* machine should reboot */
27 panic("Watchdog timer reset failed!\n");
28 printk(" Jump to address 0 \n");