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