Changes in uspace/lib/c/generic/fibril_synch.c [82453b29:ab6edb6] in mainline

File:

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

uspace/lib/c/generic/fibril_synch.c

@@ -44 +44 @@
 #include <stdlib.h>
 #include <stdio.h>
-#include <io/kio.h>
-
 #include "private/async.h"
 #include "private/fibril.h"
-
-static fibril_local bool deadlocked = false;
 
 static void optimize_execution_power(void)
@@ -66 +62 @@
 {
         fibril_t *f = (fibril_t *) fibril_get_id();
-
-        if (deadlocked) {
-                kio_printf("Deadlock detected while printing deadlock. Aborting.\n");
-                abort();
-        }
-        deadlocked = true;
 
         printf("Deadlock detected.\n");