if (b->self) { pci_read_bridge_bases(b); pcibios_fixup_device_resources(b->self); } 
pcibios_fixup_bus (struct pci_bus *b){	struct pci_dev *dev;	list_for_each_entry(dev, &b->devices, bus_list)		pcibios_fixup_device_resources(dev);	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f7d473d919627262816459f8dba70d72812be074/pci.c/buggy/arch/ia64/pci/pci.c