Changes in uspace/lib/c/generic/fibril_synch.c [0c70f7e:c81b6f2] in mainline

File:

• uspace/lib/c/generic/fibril_synch.c (modified) (3 diffs)

uspace/lib/c/generic/fibril_synch.c

@@ -104 +104 @@
         fibril_t *f = (fibril_t *) fibril_get_id();
 
-        if (fibril_get_sercount() != 0)
-                core();
-
         futex_down(&async_futex);
         if (fm->counter-- <= 0) {
@@ -197 +194 @@
         fibril_t *f = (fibril_t *) fibril_get_id();
         
-        if (fibril_get_sercount() != 0)
-                core();
-
         futex_down(&async_futex);
         if (frw->writers) {
@@ -225 +219 @@
         fibril_t *f = (fibril_t *) fibril_get_id();
         
-        if (fibril_get_sercount() != 0)
-                core();
-
         futex_down(&async_futex);
         if (frw->writers || frw->readers) {