Changes in src/libcfa/concurrency/kernel.c [9181f1d:01963df]

File:

• src/libcfa/concurrency/kernel.c (modified) (3 diffs)

src/libcfa/concurrency/kernel.c

@@ -10 +10 @@
 // Created On       : Tue Jan 17 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Apr  9 16:11:46 2018
-// Update Count     : 24
+// Last Modified On : Fri Mar 30 18:26:11 2018
+// Update Count     : 23
 //
 
@@ -25 +25 @@
 
 //CFA Includes
-#include "time"
 #include "kernel_private.h"
 #include "preemption.h"
@@ -725 +724 @@
                 thrd->dbg_next = NULL;
         }
-
-        void __cfaabi_dbg_record(__spinlock_t & this, const char * prev_name) {
-                this.prev_name = prev_name;
-                this.prev_thrd = TL_GET( this_thread );
-        }
 )
 // Local Variables: //