Changes in uspace/lib/drv/include/ddf/interrupt.h [77ad86c:dc9a3ba] in mainline

File:

• uspace/lib/drv/include/ddf/interrupt.h (modified) (1 diff)

uspace/lib/drv/include/ddf/interrupt.h

@@ -36 +36 @@
 #define DDF_INTERRUPT_H_
 
-#include <libarch/common.h>
-#include <libarch/types.h>
 #include <abi/ddi/irq.h>
 #include <adt/list.h>
 #include <ddi.h>
 #include <fibril_synch.h>
+
 #include "driver.h"
 #include "../dev_iface.h"