On Fri, Mar 28, 2014 at 03:01:28PM +0000, Steve Capper wrote: > diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig > index 1594945..7d5340d 100644 > --- a/arch/arm/Kconfig > +++ b/arch/arm/Kconfig > @@ -58,6 +58,7 @@ config ARM > select HAVE_PERF_EVENTS > select HAVE_PERF_REGS > select HAVE_PERF_USER_STACK_DUMP > + select HAVE_RCU_TABLE_FREE if SMP You select this if (SMP && CPU_V7). On ARMv6 SMP systems we use IPI for TLB maintenance already. -- Catalin -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
