2 * arch/arm/mach-prima2/include/mach/system.h
4 * Copyright (c) 2011 Cambridge Silicon Radio Limited, a CSR plc group company.
6 * Licensed under GPLv2 or later.
9 #ifndef __MACH_SYSTEM_H__
10 #define __MACH_SYSTEM_H__
12 static inline void arch_idle(void)