Index: uspace/drv/rootpc/rootpc.c
===================================================================
--- uspace/drv/rootpc/rootpc.c	(revision 178673c97db32d4d4e1c8769b1b5991de3e3640d)
+++ uspace/drv/rootpc/rootpc.c	(revision 1b59023d265904456c850e31b8b942f8cf34a860)
@@ -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. */