Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 2f7134b128c649dda6d118cd214cb77188ac2b72)
+++ kernel/generic/src/ipc/irq.c	(revision beb83c14fc69926ddb40d44bb96dc734b5d21545)
@@ -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)
  */