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