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