ixp2000_uart_init(); 
void __init ixdp2x00_init_machine(void){	gpio_line_set(IXDP2X00_GPIO_I2C_ENABLE, 1);	gpio_line_config(IXDP2X00_GPIO_I2C_ENABLE, GPIO_OUT);	platform_add_devices(ixdp2x00_devices, ARRAY_SIZE(ixdp2x00_devices));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/28187f2ce39eb2158c35a46696af03cdfd14310a/ixdp2x00.c/buggy/arch/arm/mach-ixp2000/ixdp2x00.c