void __init smdk2440_machine_init(void) 
static void __init smdk2440_machine_init(void) 
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/5fe10ab19046d84f3fd243436cbd5fa01019e809/mach-smdk2440.c/clean/arch/arm/mach-s3c2410/mach-smdk2440.c