Index: uspace/drv/root/root.c
===================================================================
--- uspace/drv/root/root.c	(revision 6f9e7feab0fd4bec18b0d862a2383558ef34a61f)
+++ uspace/drv/root/root.c	(revision ab3a851d234d11b8478c46256ec3842b20325b31)
@@ -46,4 +46,5 @@
 #include <ctype.h>
 #include <macros.h>
+#include <inttypes.h>
 
 #include <driver.h>
@@ -115,5 +116,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);
 	
 	/*