Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision e5d92746a45efa56d2837baffcca4e904b5555a3)
+++ libcfa/src/concurrency/kernel.cfa	(revision ced5e2a996ccf611dff94bad0af9a0c527371ab3)
@@ -834,17 +834,4 @@
 #endif
 
-
-
-//-----------------------------------------------------------------------------
-// Debug
-__cfaabi_dbg_debug_do(
-	extern "C" {
-		void __cfaabi_dbg_record_lock(__spinlock_t & this, const char prev_name[]) {
-			this.prev_name = prev_name;
-			this.prev_thrd = kernelTLS().this_thread;
-		}
-	}
-)
-
 //-----------------------------------------------------------------------------
 // Debug