1/*
2 *  linux/include/asm-arm/arch-arc/system.h
3 *
4 *  Copyright (C) 1996-1999 Russell King and Dave Gilbert
5 *
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.
9 */
10
11static void arch_idle(void)
12{
13	while (!current->need_resched && !hlt_counter);
14}
15
16static inline void arch_reset(char mode)
17{
18	/*
19	 * copy branch instruction to reset location and call it
20	 */
21	*(unsigned long *)0 = *(unsigned long *)0x03800000;
22	((void(*)(void))0)();
23}
24