ARM: select PCI_DOMAINS config from ARCH_MULTIPLATFORM

[cascardo/linux.git] / arch / arm / Kconfig

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index a6cdfef..42f1c87 100644 (file)
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -336,6 +336,7 @@ config ARCH_MULTIPLATFORM
        select GENERIC_CLOCKEVENTS
        select MIGHT_HAVE_PCI
        select MULTI_IRQ_HANDLER
+       select PCI_DOMAINS if PCI
        select SPARSE_IRQ
        select USE_OF