use_dt_domains   6346 drivers/pci/pci.c 	static int use_dt_domains = -1;
use_dt_domains   6378 drivers/pci/pci.c 	if (domain >= 0 && use_dt_domains) {
use_dt_domains   6379 drivers/pci/pci.c 		use_dt_domains = 1;
use_dt_domains   6380 drivers/pci/pci.c 	} else if (domain < 0 && use_dt_domains != 1) {
use_dt_domains   6381 drivers/pci/pci.c 		use_dt_domains = 0;