Index: uspace/drv/time/cmos-rtc/cmos-rtc.c
===================================================================
--- uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision 7c3fb9bd77e4d2f6c10517a052e567f176fa91ee)
+++ uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision 0abc2aea144199fee5fb2b5b1ffcf9f0ac6528ce)
@@ -39,5 +39,5 @@
 #include <ddi.h>
 #include <as.h>
-#include <libarch/barrier.h>
+#include <barrier.h>
 #include <stdio.h>
 #include <ddf/driver.h>