1 /*
2  * Copyright 2000 Deep Blue Solutions Ltd
3  * Copyright 2003 ARM Limited
4  * Copyright 2008 Cavium Networks
5  *
6  * This file 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 
11 #ifndef __MACH_SYSTEM_H
12 #define __MACH_SYSTEM_H
13 
14 #include <asm/proc-fns.h>
15 
arch_idle(void)16 static inline void arch_idle(void)
17 {
18 	/*
19 	 * This should do all the clock switching
20 	 * and wait for interrupt tricks
21 	 */
22 	cpu_do_idle();
23 }
24 
25 #endif
26