Index: uspace/drv/bus/isa/i8237.c
===================================================================
--- uspace/drv/bus/isa/i8237.c	(revision 0f323d30795a087aa2dc11c185f6ebcc4a4dc506)
+++ uspace/drv/bus/isa/i8237.c	(revision 5b082ba97e7288e1064574751f5fd623c8d8221f)
@@ -40,5 +40,4 @@
 #include <fibril_synch.h>
 #include <ddi.h>
-#include <libarch/ddi.h>
 #include <ddf/log.h>
 #include "i8237.h"
Index: uspace/drv/bus/pci/pciintel/pci.c
===================================================================
--- uspace/drv/bus/pci/pciintel/pci.c	(revision 0f323d30795a087aa2dc11c185f6ebcc4a4dc506)
+++ uspace/drv/bus/pci/pciintel/pci.c	(revision 5b082ba97e7288e1064574751f5fd623c8d8221f)
@@ -58,5 +58,4 @@
 #include <device/hw_res.h>
 #include <ddi.h>
-#include <libarch/ddi.h>
 #include <pci_dev_iface.h>
 
Index: uspace/drv/bus/usb/uhci/hc.c
===================================================================
--- uspace/drv/bus/usb/uhci/hc.c	(revision 0f323d30795a087aa2dc11c185f6ebcc4a4dc506)
+++ uspace/drv/bus/usb/uhci/hc.c	(revision 5b082ba97e7288e1064574751f5fd623c8d8221f)
@@ -35,5 +35,5 @@
 #include <str_error.h>
 #include <adt/list.h>
-#include <libarch/ddi.h>
+#include <ddi.h>
 
 #include <usb/debug.h>
Index: uspace/drv/bus/usb/uhci/hc.h
===================================================================
--- uspace/drv/bus/usb/uhci/hc.h	(revision 0f323d30795a087aa2dc11c185f6ebcc4a4dc506)
+++ uspace/drv/bus/usb/uhci/hc.h	(revision 5b082ba97e7288e1064574751f5fd623c8d8221f)
@@ -37,6 +37,4 @@
 
 #include <fibril.h>
-#include <ddi.h>
-
 #include <usb/host/hcd.h>
 
Index: uspace/drv/bus/usb/uhcirh/port.c
===================================================================
--- uspace/drv/bus/usb/uhcirh/port.c	(revision 0f323d30795a087aa2dc11c185f6ebcc4a4dc506)
+++ uspace/drv/bus/usb/uhcirh/port.c	(revision 5b082ba97e7288e1064574751f5fd623c8d8221f)
@@ -33,5 +33,4 @@
  */
 #include <ddi.h>
-#include <libarch/ddi.h>  /* pio_read and pio_write */
 #include <fibril_synch.h> /* async_usleep */
 #include <errno.h>