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