void __init smdk2440_map_io(void)
static void __init smdk2440_map_io(void)
void __init smdk2440_map_io(void){	s3c24xx_init_io(smdk2440_iodesc, ARRAY_SIZE(smdk2440_iodesc));	s3c24xx_init_clocks(16934400);	s3c24xx_init_uarts(smdk2440_uartcfgs, ARRAY_SIZE(smdk2440_uartcfgs));	s3c24xx_set_board(&smdk2440_board);}