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();}