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, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href=mailto:"dont@xxxxxxxxx";> email@xxxxxxxxx </a>