Index: uspace/drv/root/root.c
===================================================================
--- uspace/drv/root/root.c	(revision 667eac45adb7e050c43596b1f6c9786d689d0606)
+++ uspace/drv/root/root.c	(revision 7e752b2a0d66c871748e5fa9e8bbe3a27c70a202)
@@ -45,4 +45,5 @@
 #include <ctype.h>
 #include <macros.h>
+#include <inttypes.h>
 
 #include <driver.h>
@@ -126,5 +127,6 @@
 static int root_add_device(device_t *dev)
 {
-	printf(NAME ": root_add_device, device handle = %d\n", dev->handle);
+	printf(NAME ": root_add_device, device handle=%" PRIun "\n",
+	    dev->handle);
 	
 	/* Register root device's children. */