Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision 7bcfbbc039dd4d392dc880cbc1a87b94b7ca853f)
+++ kernel/generic/include/ddi/irq.h	(revision 20eb5e4d3d9057eaf8e976463ec55ff13ff5a8e3)
@@ -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;