Index: uspace/drv/rootpc/rootpc.c
===================================================================
--- uspace/drv/rootpc/rootpc.c	(revision 178673c97db32d4d4e1c8769b1b5991de3e3640d)
+++ uspace/drv/rootpc/rootpc.c	(revision ab3a851d234d11b8478c46256ec3842b20325b31)
@@ -177,5 +177,6 @@
 static int rootpc_add_device(device_t *dev)
 {
-	printf(NAME ": rootpc_add_device, device handle = %d\n", dev->handle);
+	printf(NAME ": rootpc_add_device, device handle = %d\n",
+	    (int)dev->handle);
 	
 	/* Register child devices. */