| /* | |
| * Copyright 2000 Deep Blue Solutions Ltd | |
| * Copyright 2003 ARM Limited | |
| * Copyright 2008 Cavium Networks | |
| * | |
| * This file is free software; you can redistribute it and/or modify | |
| * it under the terms of the GNU General Public License, Version 2, as | |
| * published by the Free Software Foundation. | |
| */ | |
| #ifndef __MACH_SYSTEM_H | |
| #define __MACH_SYSTEM_H | |
| #include <asm/proc-fns.h> | |
| static inline void arch_idle(void) | |
| { | |
| /* | |
| * This should do all the clock switching | |
| * and wait for interrupt tricks | |
| */ | |
| cpu_do_idle(); | |
| } | |
| #endif |