Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision f7ccf46462040f85a6392c22f2b8adc36b589a8f)
+++ kernel/generic/include/ddi/irq.h	(revision 8fcaeedabe4e5d3790e5d9a03e82abb9d82384a5)
@@ -224,4 +224,6 @@
 	/** Notification configuration structure. */
 	ipc_notif_cfg_t notif_cfg; 
+
+	as_t *driver_as;
 } irq_t;