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:

quoted

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