Index: uspace/drv/nic/rtl8139/driver.c
===================================================================
--- uspace/drv/nic/rtl8139/driver.c	(revision 702536882b248833b02d3693809a7bb0f21bcbd1)
+++ uspace/drv/nic/rtl8139/driver.c	(revision 03362fbdd97fb8df65b78ada498e07140aaa9080)
@@ -34,5 +34,4 @@
 #include <align.h>
 #include <byteorder.h>
-#include <libarch/ddi.h>
 #include <libarch/barrier.h>