Index: src/libcfa/concurrency/kernel.c
===================================================================
--- src/libcfa/concurrency/kernel.c	(revision e93f1d2117d966e78a1668492c70de34f90a322f)
+++ src/libcfa/concurrency/kernel.c	(revision 22bdc341837512b56d8c44d09bcff72ccbcaa321)
@@ -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: //