Index: uspace/lib/c/generic/rcu.c
===================================================================
--- uspace/lib/c/generic/rcu.c	(revision 95838f1a8f08943888c243d9f9943a42487d903e)
+++ uspace/lib/c/generic/rcu.c	(revision 38e34273c4ac658e194702982ca3b3c5f85af939)
@@ -172,7 +172,7 @@
 	assert(!fibril_rcu.registered);
 
-	futex_down(&rcu.list_futex);
+	futex_lock(&rcu.list_futex);
 	list_append(&fibril_rcu.link, &rcu.fibrils_list);
-	futex_up(&rcu.list_futex);
+	futex_unlock(&rcu.list_futex);
 
 	fibril_rcu.registered = true;
@@ -197,7 +197,7 @@
 	fibril_rcu.nesting_cnt = 0;
 
-	futex_down(&rcu.list_futex);
+	futex_lock(&rcu.list_futex);
 	list_remove(&fibril_rcu.link);
-	futex_up(&rcu.list_futex);
+	futex_unlock(&rcu.list_futex);
 
 	fibril_rcu.registered = false;
@@ -334,5 +334,5 @@
 static void wait_for_readers(size_t reader_group)
 {
-	futex_down(&rcu.list_futex);
+	futex_lock(&rcu.list_futex);
 
 	list_t quiescent_fibrils;
@@ -345,7 +345,7 @@
 
 			if (is_preexisting_reader(fib, reader_group)) {
-				futex_up(&rcu.list_futex);
+				futex_unlock(&rcu.list_futex);
 				sync_sleep();
-				futex_down(&rcu.list_futex);
+				futex_lock(&rcu.list_futex);
 				/* Break to while loop. */
 				break;
@@ -358,10 +358,10 @@
 
 	list_concat(&rcu.fibrils_list, &quiescent_fibrils);
-	futex_up(&rcu.list_futex);
+	futex_unlock(&rcu.list_futex);
 }
 
 static void lock_sync(void)
 {
-	futex_down(&rcu.sync_lock.futex);
+	futex_lock(&rcu.sync_lock.futex);
 	if (rcu.sync_lock.locked) {
 		blocked_fibril_t blocked_fib;
@@ -372,7 +372,7 @@
 		do {
 			blocked_fib.is_ready = false;
-			futex_up(&rcu.sync_lock.futex);
+			futex_unlock(&rcu.sync_lock.futex);
 			fibril_switch(FIBRIL_TO_MANAGER);
-			futex_down(&rcu.sync_lock.futex);
+			futex_lock(&rcu.sync_lock.futex);
 		} while (rcu.sync_lock.locked);
 
@@ -394,5 +394,5 @@
 	if (0 < rcu.sync_lock.blocked_thread_cnt) {
 		--rcu.sync_lock.blocked_thread_cnt;
-		futex_up(&rcu.sync_lock.futex_blocking_threads);
+		futex_unlock(&rcu.sync_lock.futex_blocking_threads);
 	} else {
 		/* Unlock but wake up any fibrils waiting for the lock. */
@@ -409,5 +409,5 @@
 
 		rcu.sync_lock.locked = false;
-		futex_up(&rcu.sync_lock.futex);
+		futex_unlock(&rcu.sync_lock.futex);
 	}
 }
@@ -420,7 +420,7 @@
 	 * but keep sync locked.
 	 */
-	futex_up(&rcu.sync_lock.futex);
+	futex_unlock(&rcu.sync_lock.futex);
 	async_usleep(RCU_SLEEP_MS * 1000);
-	futex_down(&rcu.sync_lock.futex);
+	futex_lock(&rcu.sync_lock.futex);
 }