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