if (ixdp2x00_master_npu()) { dev = pci_find_slot(1, IXDP2800_SLAVE_ENET_DEVFN); pci_remove_bus_device(dev);  ixdp2800_master_enable_slave(); ixdp2800_master_wait_for_slave_bus_scan(); } else { dev = pci_find_slot(1, IXDP2800_MASTER_ENET_DEVFN); pci_remove_bus_device(dev); } } 
int __init ixdp2800_pci_init(void){	if (machine_is_ixdp2800())		pci_common_init(&ixdp2800_pci);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/53e173f62c318e65e6ae13524b04c5cf38c1bc3c/ixdp2800.c/buggy/arch/arm/mach-ixp2000/ixdp2800.c