s3c24xx_init_uartdevs
extern void s3c24xx_init_uartdevs(char *name,
s3c24xx_init_uartdevs("s3c6400-uart", s3c64xx_uart_resources, cfg, no);