powerpc: Add kconfig for muxed smp ipi support

[deliverable/linux.git] / arch / powerpc / sysdev / xics / Kconfig

diff --git a/arch/powerpc/sysdev/xics/Kconfig b/arch/powerpc/sysdev/xics/Kconfig
index 123b8ddf281635d09da0705afc1d68cdb4edb0e0..0031eda320c3de7d94e3d9198b0cbc9087a7aec4 100644 (file)
--- a/arch/powerpc/sysdev/xics/Kconfig
+++ b/arch/powerpc/sysdev/xics/Kconfig
@@ -1,5 +1,6 @@
 config PPC_XICS
        def_bool n
+       select PPC_SMP_MUXED_IPI
 
 config PPC_ICP_NATIVE
        def_bool n