powerpc: Add kconfig for muxed smp ipi support

[deliverable/linux.git] / arch / powerpc / platforms / Kconfig.cputype

diff --git a/arch/powerpc/platforms/Kconfig.cputype b/arch/powerpc/platforms/Kconfig.cputype
index a1e623822a30c630a1aec527ca260c8029e4bbdd..2165b65876f9e9c70d9495377da92c5f13a4aa3e 100644 (file)
--- a/arch/powerpc/platforms/Kconfig.cputype
+++ b/arch/powerpc/platforms/Kconfig.cputype
@@ -73,6 +73,7 @@ config PPC_BOOK3S_64
 config PPC_BOOK3E_64
        bool "Embedded processors"
        select PPC_FPU # Make it a choice ?
+       select PPC_SMP_MUXED_IPI
 
 endchoice
 
@@ -178,6 +179,7 @@ config FSL_BOOKE
 config PPC_FSL_BOOK3E
        bool
        select FSL_EMB_PERFMON
+       select PPC_SMP_MUXED_IPI
        default y if FSL_BOOKE
 
 config PTE_64BIT