int __init ixdp2x01_pci_init(void){	pci_common_init(&ixdp2x01_pci);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fa87cedd4e89ea29bda622d5cd6dbf19a915fc40/ixdp2x01.c/clean/arch/arm/mach-ixp2000/ixdp2x01.c