Index: uspace/drv/nic/rtl8139/driver.c
===================================================================
--- uspace/drv/nic/rtl8139/driver.c	(revision 5f97ef445e6e5648a8b8c902eb0f655d579336b4)
+++ uspace/drv/nic/rtl8139/driver.c	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
@@ -32,5 +32,5 @@
 #include <align.h>
 #include <byteorder.h>
-#include <libarch/barrier.h>
+#include <barrier.h>
 #include <as.h>
 #include <ddf/log.h>
Index: uspace/drv/nic/rtl8169/driver.c
===================================================================
--- uspace/drv/nic/rtl8169/driver.c	(revision 5f97ef445e6e5648a8b8c902eb0f655d579336b4)
+++ uspace/drv/nic/rtl8169/driver.c	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
@@ -33,5 +33,5 @@
 #include <align.h>
 #include <byteorder.h>
-#include <libarch/barrier.h>
+#include <barrier.h>
 #include <stdbool.h>