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