2 * linux/include/asm-arm/arch-rpc/system.h
4 * Copyright (C) 1996-1999 Russell King.
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.
10 #include <asm/arch/hardware.h>
11 #include <asm/hardware/iomd.h>
14 static void arch_idle(void)
16 unsigned long start_idle;
21 if (current->need_resched || hlt_counter)
23 cpu_do_idle(IDLE_WAIT_FAST);
24 } while (time_before(jiffies, start_idle + HZ/50));
26 cpu_do_idle(IDLE_CLOCK_SLOW);
28 while (!current->need_resched && !hlt_counter) {
29 cpu_do_idle(IDLE_WAIT_SLOW);
32 cpu_do_idle(IDLE_CLOCK_FAST);
36 static inline void arch_reset(char mode)
38 iomd_writeb(0, IOMD_ROMCR0);