Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision e68765ee99cd285c57aa4a30d7ac3dfd1598259c)
+++ kernel/generic/include/ddi/irq.h	(revision 8a45bf097298bef4ee6d8bd85694bcedb0d88cf1)
@@ -86,5 +86,5 @@
 	/** Arguments that will be sent if the IRQ is claimed. */
 	uint32_t scratch[IPC_CALL_LEN];
-	/** Top-half pseudocode. */
+	/** Top-half IRQ code. */
 	irq_code_t *code;
 	/** Counter. */