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 05882233d8ca97c6879ac5c42456c344c8569d89)
@@ -39,5 +39,5 @@
 #include <ddi.h>
 #include <as.h>
-#include <libarch/barrier.h>
+#include <barrier.h>
 #include <stdio.h>
 #include <ddf/driver.h>