| Russell King | e616c59 | 2009-09-27 20:55:43 +0100 | [diff] [blame] | 1 | /* |
| 2 | * ARM specific SMP header, this contains our implementation | ||||
| 3 | * details. | ||||
| 4 | */ | ||||
| 5 | #ifndef __ASMARM_SMP_PLAT_H | ||||
| 6 | #define __ASMARM_SMP_PLAT_H | ||||
| 7 | |||||
| 8 | #include <asm/cputype.h> | ||||
| 9 | |||||
| 10 | /* all SMP configurations have the extended CPUID registers */ | ||||
| 11 | static inline int tlb_ops_need_broadcast(void) | ||||
| 12 | { | ||||
| 13 | return ((read_cpuid_ext(CPUID_EXT_MMFR3) >> 12) & 0xf) < 2; | ||||
| 14 | } | ||||
| 15 | |||||
| 16 | #endif | ||||