1 /*
2  * Copyright (c) 2011 Picochip Ltd., Jamie Iles
3  *
4  * This program is free software; you can redistribute it and/or modify
5  * it under the terms of the GNU General Public License as published by
6  * the Free Software Foundation; either version 2 of the License, or
7  * (at your option) any later version.
8  *
9  * This program is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12  * GNU General Public License for more details.
13  */
14 #ifndef __ASM_ARCH_SYSTEM_H
15 #define __ASM_ARCH_SYSTEM_H
16 
arch_idle(void)17 static inline void arch_idle(void)
18 {
19 	/*
20 	 * This should do all the clock switching and wait for interrupt
21 	 * tricks.
22 	 */
23 	cpu_do_idle();
24 }
25 
26 #endif /* __ASM_ARCH_SYSTEM_H */
27