Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 2f7134b128c649dda6d118cd214cb77188ac2b72)
+++ kernel/generic/src/ipc/irq.c	(revision 167616c1515dbd62bb4b8129641fdcba5f967ad5)
@@ -49,5 +49,5 @@
  * - ARG4: payload modified by a 'top-half' handler (scratch[4])
  * - ARG5: payload modified by a 'top-half' handler (scratch[5])
- * - in_phone_hash: interrupt counter (may be needed to assure correct order
+ * - request_label: interrupt counter (may be needed to assure correct order
  *                  in multithreaded drivers)
  */
Index: uspace/srv/vfs/vfs_register.c
===================================================================
--- uspace/srv/vfs/vfs_register.c	(revision 2f7134b128c649dda6d118cd214cb77188ac2b72)
+++ uspace/srv/vfs/vfs_register.c	(revision 167616c1515dbd62bb4b8129641fdcba5f967ad5)
@@ -111,7 +111,4 @@
 void vfs_register(ipc_call_t *req)
 {
-	dprintf("Processing VFS_REGISTER request received from %zx.\n",
-	    req->in_phone_hash);
-
 	vfs_info_t *vfs_info;
 	errno_t rc = async_data_write_accept((void **) &vfs_info, false,