Index: uspace/lib/c/generic/fibril.c
===================================================================
--- uspace/lib/c/generic/fibril.c	(revision b1880021afa6ea8d3fd08451bcb9ef1c89d71678)
+++ uspace/lib/c/generic/fibril.c	(revision df7cbc6158b5559373b8260b54360527652e78d2)
@@ -51,5 +51,5 @@
 #include <futex.h>
 
-#ifdef FUTEX_UPGRADABLE
+#ifdef futex_unlockGRADABLE
 #include <rcu.h>
 #endif
@@ -88,5 +88,5 @@
 	fibril_t *fibril = __tcb_get()->fibril_data;
 
-#ifdef FUTEX_UPGRADABLE
+#ifdef futex_unlockGRADABLE
 	rcu_register_fibril();
 #endif
@@ -152,5 +152,5 @@
 	int retval = 0;
 	
-	futex_down(&fibril_futex);
+	futex_lock(&fibril_futex);
 	
 	if (stype == FIBRIL_PREEMPT && list_empty(&ready_list))
@@ -174,7 +174,7 @@
 	if ((stype == FIBRIL_TO_MANAGER) || (stype == FIBRIL_FROM_DEAD)) {
 		while (list_empty(&manager_list)) {
-			futex_up(&fibril_futex);
+			futex_unlock(&fibril_futex);
 			async_create_manager();
-			futex_down(&fibril_futex);
+			futex_lock(&fibril_futex);
 		}
 	}
@@ -209,5 +209,5 @@
 			}
 			
-			return 1;	/* futex_up already done here */
+			return 1;	/* futex_unlock already done here */
 		}
 		
@@ -252,7 +252,7 @@
 	list_remove(&dstf->link);
 	
-	futex_up(&fibril_futex);
-	
-#ifdef FUTEX_UPGRADABLE
+	futex_unlock(&fibril_futex);
+	
+#ifdef futex_unlockGRADABLE
 	if (stype == FIBRIL_FROM_DEAD) {
 		rcu_deregister_fibril();
@@ -264,5 +264,5 @@
 	
 ret_0:
-	futex_up(&fibril_futex);
+	futex_unlock(&fibril_futex);
 	return retval;
 }
@@ -329,5 +329,5 @@
 	fibril_t *fibril = (fibril_t *) fid;
 	
-	futex_down(&fibril_futex);
+	futex_lock(&fibril_futex);
 	
 	if ((fibril->flags & FIBRIL_SERIALIZED))
@@ -336,5 +336,5 @@
 		list_append(&fibril->link, &ready_list);
 	
-	futex_up(&fibril_futex);
+	futex_unlock(&fibril_futex);
 }
 
@@ -349,7 +349,7 @@
 	fibril_t *fibril = (fibril_t *) fid;
 	
-	futex_down(&fibril_futex);
+	futex_lock(&fibril_futex);
 	list_append(&fibril->link, &manager_list);
-	futex_up(&fibril_futex);
+	futex_unlock(&fibril_futex);
 }
 
@@ -357,10 +357,10 @@
 void fibril_remove_manager(void)
 {
-	futex_down(&fibril_futex);
+	futex_lock(&fibril_futex);
 	
 	if (!list_empty(&manager_list))
 		list_remove(list_first(&manager_list));
 	
-	futex_up(&fibril_futex);
+	futex_unlock(&fibril_futex);
 }