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

File:

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

uspace/lib/c/generic/fibril_synch.c

@@ -36 +36 @@
 #include <fibril.h>
 #include <async.h>
-#include <async_priv.h>
 #include <adt/list.h>
 #include <futex.h>
@@ -44 +43 @@
 #include <stacktrace.h>
 #include <stdlib.h>
+#include "private/async.h"
 
 static void optimize_execution_power(void)
@@ -55 +55 @@
          */
         if (atomic_get(&threads_in_ipc_wait) > 0)
-                ipc_poke();
+                async_poke();
 }
 
@@ -105 +105 @@
 
         if (fibril_get_sercount() != 0)
-                core();
+                abort();
 
         futex_down(&async_futex);
@@ -198 +198 @@
         
         if (fibril_get_sercount() != 0)
-                core();
+                abort();
 
         futex_down(&async_futex);
@@ -226 +226 @@
         
         if (fibril_get_sercount() != 0)
-                core();
+                abort();
 
         futex_down(&async_futex);