Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 8b6cd5cc7eb1fce2e87ead2a1403607213d545be)
+++ kernel/generic/src/ipc/irq.c	(revision 59ff52ddecc1a8fae7d8227c3d89aba32776e065)
@@ -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)
  */