Changes in kernel/generic/include/ddi/irq.h [c0699467:69114714] in mainline

File:

• kernel/generic/include/ddi/irq.h (modified) (1 diff)

kernel/generic/include/ddi/irq.h

@@ -134 +134 @@
         /** Notification configuration structure. */
         ipc_notif_cfg_t notif_cfg; 
-        
-        as_t *driver_as;
 } irq_t;