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