1*e616c591SRussell King /* 2*e616c591SRussell King * ARM specific SMP header, this contains our implementation 3*e616c591SRussell King * details. 4*e616c591SRussell King */ 5*e616c591SRussell King #ifndef __ASMARM_SMP_PLAT_H 6*e616c591SRussell King #define __ASMARM_SMP_PLAT_H 7*e616c591SRussell King 8*e616c591SRussell King #include <asm/cputype.h> 9*e616c591SRussell King 10*e616c591SRussell King /* all SMP configurations have the extended CPUID registers */ 11*e616c591SRussell King static inline int tlb_ops_need_broadcast(void) 12*e616c591SRussell King { 13*e616c591SRussell King return ((read_cpuid_ext(CPUID_EXT_MMFR3) >> 12) & 0xf) < 2; 14*e616c591SRussell King } 15*e616c591SRussell King 16*e616c591SRussell King #endif 17