mask_updated     4344 drivers/pci/pci.c 	bool mask_updated = true;
mask_updated     4369 drivers/pci/pci.c 		mask_updated = false;
mask_updated     4383 drivers/pci/pci.c 	return mask_updated;