ixdp2800_slave_signal_bus_scan_completion(); 
static void ixdp2800_pci_postinit(void){	struct pci_dev *dev;	if (ixdp2x00_master_npu()) {		dev = pci_find_slot(1, IXDP2800_SLAVE_ENET_DEVFN);		pci_remove_bus_device(dev);	} else {		dev = pci_find_slot(1, IXDP2800_MASTER_ENET_DEVFN);		pci_remove_bus_device(dev);		ixdp2x00_slave_pci_postinit();	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/53e173f62c318e65e6ae13524b04c5cf38c1bc3c/ixdp2800.c/buggy/arch/arm/mach-ixp2000/ixdp2800.c