Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 8b6cd5cc7eb1fce2e87ead2a1403607213d545be)
+++ kernel/generic/src/ipc/irq.c	(revision 8048931cc1749e5ca30afc675b7ed903dc310504)
@@ -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 8b6cd5cc7eb1fce2e87ead2a1403607213d545be)
+++ uspace/srv/vfs/vfs_register.c	(revision 8048931cc1749e5ca30afc675b7ed903dc310504)
@@ -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,