Index: kernel/arch/arm32/src/mach/gta02/gta02.c
===================================================================
--- kernel/arch/arm32/src/mach/gta02/gta02.c	(revision ec082866ce8a00ad3f3151e0fda22c79ffe82d50)
+++ kernel/arch/arm32/src/mach/gta02/gta02.c	(revision b8b4efa293ebe4ebd8230999d8fffb2a995753d2)
@@ -75,5 +75,4 @@
 static void gta02_timer_irq_handler(irq_t *irq);
 
-static void *gta02_scons_out;
 static outdev_t *gta02_scons_dev;
 static s3c24xx_irqc_t gta02_irqc;
@@ -97,5 +96,4 @@
 	s3c24xx_irqc_regs_t *irqc_regs;
 
-	gta02_scons_out = (void *) hw_map(GTA02_SCONS_BASE, PAGE_SIZE);
 	gta02_timer = (void *) hw_map(S3C24XX_TIMER_ADDRESS, PAGE_SIZE);
 	irqc_regs = (void *) hw_map(S3C24XX_IRQC_ADDRESS, PAGE_SIZE);
@@ -176,8 +174,10 @@
 
 	/* Initialize serial port of the debugging console. */
-	gta02_scons_dev = s3c24xx_uart_init((ioport8_t *) gta02_scons_out,
-		S3C24XX_INT_UART2);
+	s3c24xx_uart_io_t *scons_io;
+
+	scons_io = (void *) hw_map(GTA02_SCONS_BASE, PAGE_SIZE);
+	gta02_scons_dev = s3c24xx_uart_init(scons_io, S3C24XX_INT_UART2);
+
 	if (gta02_scons_dev) {
-
 		/* Create output device. */
 		stdout_wire(gta02_scons_dev);
@@ -187,5 +187,5 @@
 static void gta02_input_init(void)
 {
-	s3c24xx_uart_instance_t *scons_inst;
+	s3c24xx_uart_t *scons_inst;
 
 	if (gta02_scons_dev) {