s3c24xx_fb_set_platdata(&smdk2440_lcd_cfg);  
static void __init smdk2440_machine_init(void){	/* Configure the LEDs (even if we have no LED support)*/	s3c2410_gpio_cfgpin(S3C2410_GPF4, S3C2410_GPF4_OUTP);	s3c2410_gpio_cfgpin(S3C2410_GPF5, S3C2410_GPF5_OUTP);	s3c2410_gpio_cfgpin(S3C2410_GPF6, S3C2410_GPF6_OUTP);	s3c2410_gpio_cfgpin(S3C2410_GPF7, S3C2410_GPF7_OUTP);	s3c2410_gpio_setpin(S3C2410_GPF4, 0);	s3c2410_gpio_setpin(S3C2410_GPF5, 0);	s3c2410_gpio_setpin(S3C2410_GPF6, 0);	s3c2410_gpio_setpin(S3C2410_GPF7, 0);	s3c2410_pm_init();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/57718976141c2929bddd6219efb32c2abea8360c/mach-smdk2440.c/buggy/arch/arm/mach-s3c2410/mach-smdk2440.c