pci_domains_supported  283 arch/sh/drivers/pci/pci.c 		if (pci_domains_supported)
pci_domains_supported  336 arch/x86/pci/acpi.c 	if (domain && !pci_domains_supported) {
pci_domains_supported   78 drivers/pci/pci.c int pci_domains_supported = 1;
pci_domains_supported 6332 drivers/pci/pci.c 	pci_domains_supported = 0;
pci_domains_supported 1085 drivers/xen/xen-pciback/pci_stub.c 	     !pci_domains_supported ? domain :
pci_domains_supported 1585 include/linux/pci.h extern int pci_domains_supported;