if (machine_is_ixdp2800()) 
if (machine_is_ixdp2800()) { struct pci_dev *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