Index: uspace/drv/rootvirt/rootvirt.c
===================================================================
--- uspace/drv/rootvirt/rootvirt.c	(revision 6f9e7feab0fd4bec18b0d862a2383558ef34a61f)
+++ uspace/drv/rootvirt/rootvirt.c	(revision ab3a851d234d11b8478c46256ec3842b20325b31)
@@ -110,5 +110,5 @@
 
 	printf(NAME ": add_device(name=\"%s\", handle=%d)\n",
-	    dev->name, dev->handle);
+	    dev->name, (int)dev->handle);
 	
 	/*