res[0].start = 0x00001000; res[0].end = 0xffff0000; 
res[0].start = 0x00000000; res[0].end = 0x0000ffff; 
int ixp4xx_setup(int nr, struct pci_sys_data *sys){	struct resource *res;	if (nr >= 1)		return 0;	res = kmalloc(sizeof(*res) * 2, GFP_KERNEL);	if (res == NULL) {		/* 		 * If we're out of memory this early, something is wrong,		 * so we might as well catch it here.		 */		panic("PCI: unable to allocate resources?\n");	}	memset(res, 0, sizeof(*res) * 2);	local_write_config(PCI_COMMAND, 2, PCI_COMMAND_MASTER | PCI_COMMAND_MEMORY);	res[0].name = "PCI I/O Space";	res[0].start = 0x00001000;	res[0].end = 0xffff0000;	res[0].flags = IORESOURCE_IO;	res[1].name = "PCI Memory Space";	res[1].start = 0x48000000;#ifndef CONFIG_IXP4XX_INDIRECT_PCI	res[1].end = 0x4bffffff;#else	res[1].end = 0x4fffffff;#endif	res[1].flags = IORESOURCE_MEM;	request_resource(&ioport_resource, &res[0]);	request_resource(&iomem_resource, &res[1]);	sys->resource[0] = &res[0];	sys->resource[1] = &res[1];	sys->resource[2] = NULL;	platform_notify = ixp4xx_pci_platform_notify;	platform_notify_remove = ixp4xx_pci_platform_notify_remove;	return 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/450008b5a62bb09445ae05c4d01d510386c9435d/common-pci.c/clean/arch/arm/mach-ixp4xx/common-pci.c