On Thu, May 01, 2014 at 12:11:21PM +0100, Catalin Marinas wrote: > 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. Thanks, I'll add that to the next series. -- Steve > > -- > 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
