*IXP2000_PCI_SRAM_BASE_ADDR_MASK = (0x2000000 - 1) & ~0x3ffff; 
void __init ixdp2800_pci_preinit(void){	printk("ixdp2x00_pci_preinit called\n");	*IXP2000_PCI_ADDR_EXT =  0x0000e000;	*IXP2000_PCI_DRAM_BASE_ADDR_MASK = (0x40000000 - 1) & ~0xfffff;	*IXP2000_PCI_SRAM_BASE_ADDR_MASK = (0x2000000 - 1) & ~0x3ffff;	ixp2000_pci_preinit();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/53e173f62c318e65e6ae13524b04c5cf38c1bc3c/ixdp2800.c/buggy/arch/arm/mach-ixp2000/ixdp2800.c