tree c0bbf2e3ef330ec9f36c42dfbe6c360efe685f82
parent 11949255d9433ea6c0908b7390ec4faecd1d4cf0
author Jeff Garzik <jeff@garzik.org> 1192136247 -0400
committer Greg Kroah-Hartman <gregkh@suse.de> 1192226598 -0700

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>