Index: kernel/test/synch/rcu1.c
===================================================================
--- kernel/test/synch/rcu1.c	(revision 205832be3aac366938f4e110d02825acf0142693)
+++ kernel/test/synch/rcu1.c	(revision 4e41aa4017a23e81a6bf5be64d91f904e3c4042a)
@@ -34,9 +34,9 @@
 #include <macros.h>
 #include <str.h>
+#include <errno.h>
+#include <time/delay.h>
 
 #include <synch/rcu.h>
 
-#include "abi/errno.h"
-#include "time/delay.h"
 
 #define MAX_THREADS 32