arch/arm/include/asm/smp_plat.h

   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