Index: uspace/drv/nic/e1k/e1k.c
===================================================================
--- uspace/drv/nic/e1k/e1k.c	(revision 0f323d30795a087aa2dc11c185f6ebcc4a4dc506)
+++ uspace/drv/nic/e1k/e1k.c	(revision 5b082ba97e7288e1064574751f5fd623c8d8221f)
@@ -45,5 +45,5 @@
 #include <ipc/irc.h>
 #include <ipc/ns.h>
-#include <libarch/ddi.h>
+#include <ddi.h>
 #include <as.h>
 #include <ddf/log.h>
Index: uspace/drv/nic/ne2k/dp8390.c
===================================================================
--- uspace/drv/nic/ne2k/dp8390.c	(revision 0f323d30795a087aa2dc11c185f6ebcc4a4dc506)
+++ uspace/drv/nic/ne2k/dp8390.c	(revision 5b082ba97e7288e1064574751f5fd623c8d8221f)
@@ -58,5 +58,5 @@
 #include <errno.h>
 #include <stdio.h>
-#include <libarch/ddi.h>
+#include <ddi.h>
 #include "dp8390.h"
 
Index: uspace/drv/nic/rtl8139/defs.h
===================================================================
--- uspace/drv/nic/rtl8139/defs.h	(revision 0f323d30795a087aa2dc11c185f6ebcc4a4dc506)
+++ uspace/drv/nic/rtl8139/defs.h	(revision 5b082ba97e7288e1064574751f5fd623c8d8221f)
@@ -38,5 +38,4 @@
 #include <sys/types.h>
 #include <ddi.h>
-#include <libarch/ddi.h>
 
 /** Size of RTL8139 registers address space */
Index: uspace/drv/nic/rtl8139/driver.c
===================================================================
--- uspace/drv/nic/rtl8139/driver.c	(revision 0f323d30795a087aa2dc11c185f6ebcc4a4dc506)
+++ uspace/drv/nic/rtl8139/driver.c	(revision 5b082ba97e7288e1064574751f5fd623c8d8221f)
@@ -34,5 +34,4 @@
 #include <align.h>
 #include <byteorder.h>
-#include <libarch/ddi.h>
 #include <libarch/barrier.h>