1 /*
2  * arch/arm/mach-ixp23xx/include/mach/system.h
3  *
4  * Copyright (C) 2003 Intel Corporation.
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  */
arch_idle(void)10 static inline void arch_idle(void)
11 {
12 #if 0
13 	if (!hlt_counter)
14 		cpu_do_idle();
15 #endif
16 }
17