Index: uspace/drv/char/ns8250/ns8250.c
===================================================================
--- uspace/drv/char/ns8250/ns8250.c	(revision 54861caa0779855e4638f92c497c12ea05cd6a04)
+++ uspace/drv/char/ns8250/ns8250.c	(revision 340513c9d44788445680d199083b5efc38e60869)
@@ -163,5 +163,5 @@
 	int irq;
 	/** The base i/o address of the devices registers. */
-	uint32_t io_addr;
+	uintptr_t io_addr;
 	/** The i/o port used to access the serial ports registers. */
 	ioport8_t *port;
@@ -330,7 +330,7 @@
 	
 	/* Gain control over port's registers. */
-	if (pio_enable((void *)(uintptr_t) ns->io_addr, REG_COUNT,
+	if (pio_enable((void *) ns->io_addr, REG_COUNT,
 	    (void **) &ns->port)) {
-		ddf_msg(LVL_ERROR, "Cannot map the port %#" PRIx32
+		ddf_msg(LVL_ERROR, "Cannot map the port %#" PRIxn
 		    " for device %s.", ns->io_addr, ddf_dev_get_name(ns->dev));
 		return false;
@@ -432,5 +432,5 @@
 			ioport = true;
 			ddf_msg(LVL_NOTE, "Device %s was assigned I/O address = "
-			    "0x%x.", ddf_dev_get_name(ns->dev), ns->io_addr);
+			    "0x%#" PRIxn ".", ddf_dev_get_name(ns->dev), ns->io_addr);
     			break;