Index: uspace/drv/fb/kfb/port.c
===================================================================
--- uspace/drv/fb/kfb/port.c	(revision 02f45748527ff6b6574d9c78f003e8747112a273)
+++ uspace/drv/fb/kfb/port.c	(revision 23e86c6dcff346ffc7f0237d512aa2e499b47244)
@@ -306,5 +306,8 @@
 
 	printf("kfb_client_conn arg2=%lu arg3=%lu arg4=%lu\n",
-	    ipc_get_arg2(icall), ipc_get_arg3(icall), ipc_get_arg4(icall));
+	    (unsigned long) ipc_get_arg2(icall),
+	    (unsigned long) ipc_get_arg3(icall),
+	    (unsigned long) ipc_get_arg4(icall));
+
 	gc_id = ipc_get_arg3(icall);