__domain_nr      6337 drivers/pci/pci.c static atomic_t __domain_nr = ATOMIC_INIT(-1);
__domain_nr      6341 drivers/pci/pci.c 	return atomic_inc_return(&__domain_nr);