ixp2000_uart_init(); 
static void __init ixdp2x01_init_machine(void){	ixp2000_reg_write(IXDP2X01_CPLD_FLASH_REG,		(IXDP2X01_CPLD_FLASH_BANK_MASK | IXDP2X01_CPLD_FLASH_INTERN));		ixdp2x01_flash_data.nr_banks =		((*IXDP2X01_CPLD_FLASH_REG & IXDP2X01_CPLD_FLASH_BANK_MASK) + 1);	platform_add_devices(ixdp2x01_devices, ARRAY_SIZE(ixdp2x01_devices));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/28187f2ce39eb2158c35a46696af03cdfd14310a/ixdp2x01.c/buggy/arch/arm/mach-ixp2000/ixdp2x01.c