Index: kernel/generic/include/ipc/irq.h
===================================================================
--- kernel/generic/include/ipc/irq.h	(revision 4874c2dc3da3748951cb71f24805c35b88106d0f)
+++ kernel/generic/include/ipc/irq.h	(revision 19de05f6a81e28fafc795b1e06e10bd9fea57103)
@@ -72,4 +72,5 @@
 #include <typedefs.h>
 #include <arch/types.h>
+#include <adt/list.h>
 
 /** IPC notification config structure.
@@ -84,4 +85,7 @@
 	irq_code_t *code;		/**< Top-half pseudocode. */
 	count_t counter;		/**< Counter. */
+	link_t link;			/**< Link between IRQs that are notifying the
+					     same answerbox. The list is protected by
+					     the answerbox irq_lock. */
 };