diff options
author | Jeff Garzik <jeff@garzik.org> | 2007-10-11 16:57:27 -0400 |
---|---|---|
committer | Greg Kroah-Hartman <gregkh@suse.de> | 2007-10-12 18:03:18 -0400 |
commit | 32a2eea795643929a43cbbba00d8c4a176b309bf (patch) | |
tree | c0bbf2e3ef330ec9f36c42dfbe6c360efe685f82 /include | |
parent | 11949255d9433ea6c0908b7390ec4faecd1d4cf0 (diff) |
PCI: Add 'nodomains' boot option, and pci_domains_supported global
* Introduce pci_domains_supported global, hardcoded to zero if
!CONFIG_PCI_DOMAINS.
* Introduce 'nodomains' boot option, which clears pci_domains_supported
on platforms that enable it by default (x86, x86-64, and others when
they are converted to use this).
Signed-off-by: Jeff Garzik <jgarzik@redhat.com>
Cc: Andi Kleen <ak@suse.de>
Signed-off-by: Greg Kroah-Hartman <gregkh@suse.de>
Diffstat (limited to 'include')
-rw-r--r-- | include/linux/pci.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/include/linux/pci.h b/include/linux/pci.h index 038a0dc7273a..768b93359f90 100644 --- a/include/linux/pci.h +++ b/include/linux/pci.h | |||
@@ -685,13 +685,16 @@ extern void pci_unblock_user_cfg_access(struct pci_dev *dev); | |||
685 | * a PCI domain is defined to be a set of PCI busses which share | 685 | * a PCI domain is defined to be a set of PCI busses which share |
686 | * configuration space. | 686 | * configuration space. |
687 | */ | 687 | */ |
688 | #ifndef CONFIG_PCI_DOMAINS | 688 | #ifdef CONFIG_PCI_DOMAINS |
689 | extern int pci_domains_supported; | ||
690 | #else | ||
691 | enum { pci_domains_supported = 0 }; | ||
689 | static inline int pci_domain_nr(struct pci_bus *bus) { return 0; } | 692 | static inline int pci_domain_nr(struct pci_bus *bus) { return 0; } |
690 | static inline int pci_proc_domain(struct pci_bus *bus) | 693 | static inline int pci_proc_domain(struct pci_bus *bus) |
691 | { | 694 | { |
692 | return 0; | 695 | return 0; |
693 | } | 696 | } |
694 | #endif | 697 | #endif /* CONFIG_PCI_DOMAINS */ |
695 | 698 | ||
696 | #else /* CONFIG_PCI is not enabled */ | 699 | #else /* CONFIG_PCI is not enabled */ |
697 | 700 | ||