Index: uspace/drv/time/cmos-rtc/cmos-rtc.c
===================================================================
--- uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision 276e44a6a0fd7223371fb8c8fae0583c756e7e36)
+++ uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision 7ff35c768b9de4026c92b5c3c1d4d6e2d53da184)
@@ -166,5 +166,5 @@
 
 		ddf_msg(LVL_ERROR, "Cannot map the port %lx"
-		    " for device %s", (intptr_t)rtc->io_addr,
+		    " for device %s", (long unsigned int)rtc->io_addr,
 		    ddf_dev_get_name(rtc->dev));
 		return false;
@@ -226,9 +226,9 @@
 		}
 
-		rtc->io_addr = (ioport8_t *) res->res.io_range.address;
+		rtc->io_addr = (ioport8_t *) (long) res->res.io_range.address;
 		ioport = true;
 		ddf_msg(LVL_NOTE, "Device %s was assigned I/O address "
 		    "0x%lx", ddf_dev_get_name(rtc->dev),
-		    (intptr_t) rtc->io_addr);
+		    (unsigned long int) rtc->io_addr);
 		rc = EOK;
 		break;