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)
  */