Index: src/libcfa/concurrency/kernel.c
===================================================================
--- src/libcfa/concurrency/kernel.c	(revision e93f1d2117d966e78a1668492c70de34f90a322f)
+++ src/libcfa/concurrency/kernel.c	(revision e6d39feba42a3135889973bd6f83370efbb652db)
@@ -725,4 +725,9 @@
 		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: //