Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision 78ee8b0b5fe903116035b53e79a139f89cdb1e17)
+++ kernel/generic/include/ddi/irq.h	(revision f15cb3c4c93269014a096d5c5a41bc60f0808fb9)
@@ -84,4 +84,7 @@
 typedef void (* irq_handler_t)(struct irq *irq, void *arg, ...);
 
+/** Type for function used to clear the interrupt. */
+typedef void (* cir_t)(void *arg, inr_t inr);
+
 /** IPC notification config structure.
  *
@@ -145,4 +148,9 @@
 	void *arg;
 
+	/** Clear interrupt routine. */
+	cir_t cir;
+	/** First argument to the clear interrupt routine. */
+	void *cir_arg;
+
 	/** Notification configuration structure. */
 	ipc_notif_cfg_t notif_cfg;