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 17