if (pci_root_bus) pci_bus_add_devices(pci_root_bus); 
static int __init pci_legacy_init(void){	if (!raw_pci_ops) {		printk("PCI: System does not support PCI\n");		return 0;	}	if (pcibios_scanned++)		return 0;	printk("PCI: Probing PCI hardware\n");	pci_root_bus = pcibios_scan_root(0);	pcibios_fixup_peer_bridges();	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c431ada45d65b305a6aab4557067e564b23ce5a5/legacy.c/clean/arch/i386/pci/legacy.c