Index: uspace/app/rcubench/rcubench.c
===================================================================
--- uspace/app/rcubench/rcubench.c	(revision 21b703f70e52446c541890949b2732680e7da003)
+++ uspace/app/rcubench/rcubench.c	(revision b7acf383016ce70e70a5c0df4f6ed935e25629fe)
@@ -79,4 +79,5 @@
 }
 
+
 static void  kernel_futex_bench(bench_t *bench)
 {
@@ -136,5 +137,5 @@
 	
 	/* Signal another thread completed. */
-	futex_up(&bench->done_threads);
+	_futex_up(&bench->done_threads);
 }
 
@@ -170,5 +171,5 @@
 	/* Wait for threads to complete. */
 	for (size_t k = 0; k < bench->nthreads; ++k) {
-		futex_down(&bench->done_threads);
+		_futex_down(&bench->done_threads);
 	}
 }