Index: uspace/drv/time/cmos-rtc/cmos-rtc.c
===================================================================
--- uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision 5572ad1c3704229589dd42f0c112449efb38c6d0)
+++ uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision 276e44a6a0fd7223371fb8c8fae0583c756e7e36)
@@ -165,6 +165,7 @@
 	    (void **) &rtc->port)) {
 
-		ddf_msg(LVL_ERROR, "Cannot map the port %#" PRIx32
-		    " for device %s", rtc->io_addr, ddf_dev_get_name(rtc->dev));
+		ddf_msg(LVL_ERROR, "Cannot map the port %lx"
+		    " for device %s", (intptr_t)rtc->io_addr,
+		    ddf_dev_get_name(rtc->dev));
 		return false;
 	}
@@ -228,5 +229,6 @@
 		ioport = true;
 		ddf_msg(LVL_NOTE, "Device %s was assigned I/O address "
-		    "0x%x", ddf_dev_get_name(rtc->dev), rtc->io_addr);
+		    "0x%lx", ddf_dev_get_name(rtc->dev),
+		    (intptr_t) rtc->io_addr);
 		rc = EOK;
 		break;