diff options
author | Ralf Baechle <ralf@linux-mips.org> | 2007-10-11 18:46:03 -0400 |
---|---|---|
committer | Ralf Baechle <ralf@linux-mips.org> | 2007-10-11 18:46:03 -0400 |
commit | abb4ae4630633573862934173e5f506771c5d6b1 (patch) | |
tree | a6051f682e2a7f3a6b907767286e504b0e9404a5 /arch | |
parent | a02eb8da02741f43efb6f06adf534f9f2b913d80 (diff) |
[MIPS] PCI: Always enable CONFIG_PCI_DOMAINS
The cost is just too low.
Signed-off-by: Ralf Baechle <ralf@linux-mips.org>
Diffstat (limited to 'arch')
-rw-r--r-- | arch/mips/Kconfig | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/arch/mips/Kconfig b/arch/mips/Kconfig index 6648f9b914e7..ebc7b4b45c84 100644 --- a/arch/mips/Kconfig +++ b/arch/mips/Kconfig | |||
@@ -381,7 +381,6 @@ config SGI_IP27 | |||
381 | select SYS_HAS_EARLY_PRINTK | 381 | select SYS_HAS_EARLY_PRINTK |
382 | select HW_HAS_PCI | 382 | select HW_HAS_PCI |
383 | select NR_CPUS_DEFAULT_64 | 383 | select NR_CPUS_DEFAULT_64 |
384 | select PCI_DOMAINS | ||
385 | select SYS_HAS_CPU_R10000 | 384 | select SYS_HAS_CPU_R10000 |
386 | select SYS_SUPPORTS_64BIT_KERNEL | 385 | select SYS_SUPPORTS_64BIT_KERNEL |
387 | select SYS_SUPPORTS_BIG_ENDIAN | 386 | select SYS_SUPPORTS_BIG_ENDIAN |
@@ -513,7 +512,6 @@ config SIBYTE_BIGSUR | |||
513 | select BOOT_ELF32 | 512 | select BOOT_ELF32 |
514 | select DMA_COHERENT | 513 | select DMA_COHERENT |
515 | select NR_CPUS_DEFAULT_4 | 514 | select NR_CPUS_DEFAULT_4 |
516 | select PCI_DOMAINS | ||
517 | select SIBYTE_BCM1x80 | 515 | select SIBYTE_BCM1x80 |
518 | select SWAP_IO_SPACE | 516 | select SWAP_IO_SPACE |
519 | select SYS_HAS_CPU_SB1 | 517 | select SYS_HAS_CPU_SB1 |
@@ -1808,6 +1806,7 @@ config HW_HAS_PCI | |||
1808 | config PCI | 1806 | config PCI |
1809 | bool "Support for PCI controller" | 1807 | bool "Support for PCI controller" |
1810 | depends on HW_HAS_PCI | 1808 | depends on HW_HAS_PCI |
1809 | select PCI_DOMAINS | ||
1811 | help | 1810 | help |
1812 | Find out whether you have a PCI motherboard. PCI is the name of a | 1811 | Find out whether you have a PCI motherboard. PCI is the name of a |
1813 | bus system, i.e. the way the CPU talks to the other stuff inside | 1812 | bus system, i.e. the way the CPU talks to the other stuff inside |
@@ -1821,7 +1820,6 @@ config PCI | |||
1821 | 1820 | ||
1822 | config PCI_DOMAINS | 1821 | config PCI_DOMAINS |
1823 | bool | 1822 | bool |
1824 | depends on PCI | ||
1825 | 1823 | ||
1826 | source "drivers/pci/Kconfig" | 1824 | source "drivers/pci/Kconfig" |
1827 | 1825 | ||