Changes in src/libcfa/concurrency/invoke.c [0157ca7:0c92c9f]

File:

• src/libcfa/concurrency/invoke.c (modified) (5 diffs)

src/libcfa/concurrency/invoke.c

@@ -28 +28 @@
 // Called from the kernel when starting a coroutine or task so must switch back to user mode.
 
-extern void __suspend_no_inline__F___1(void);
-extern void __signal_termination__F_P7sthread__1(struct thread*);
+extern void __suspend_internal(void);
+extern void __thread_signal_termination(struct thread*);
 
 void CtxInvokeCoroutine(
@@ -41 +41 @@
 
       if(cor->state == Primed) {
-            __suspend_no_inline__F___1();
+            __suspend_internal();
       }
 
@@ -52 +52 @@
 
       //Final suspend, should never return
-      __suspend_no_inline__F___1();
-      assertf(false, "Resumed dead coroutine");
+      __suspend_internal();
+      abortf("Resumed dead coroutine");
 }
 
@@ -61 +61 @@
       void *this
 ) {
-      // LIB_DEBUG_PRINTF("Invoke Thread : Received %p (main %p, get_t %p)\n", this, main, get_thread);
-
-      __suspend_no_inline__F___1();
+      __suspend_internal();
 
       struct thread* thrd = get_thread( this );
@@ -72 +70 @@
       main( this );
 
-      __signal_termination__F_P7sthread__1(thrd);
+      __thread_signal_termination(thrd);
 
       //Final suspend, should never return
-      __suspend_no_inline__F___1();
-      assertf(false, "Resumed dead thread");
+      __suspend_internal();
+      abortf("Resumed dead thread");
 }