Index: src/libcfa/concurrency/preemption.c
===================================================================
--- src/libcfa/concurrency/preemption.c	(revision 1da22500f70b46698413625791fcf97ea693c13d)
+++ src/libcfa/concurrency/preemption.c	(revision 7958e673616207e3611b42606dd5b1b711bb178b)
@@ -328,5 +328,5 @@
 	if( !preemption_ready() ) { return; }
 
-	__cfaabi_dbg_print_buffer_decl( " KERNEL: preempting core %p (%p).\n", this_processor, this_thread);
+	__cfaabi_dbg_print_buffer_decl( " KERNEL: preempting core %p (%p).\n", TL_GET( this_processor ), TL_GET( this_thread ) );
 
 	TL_GET( preemption_state ).in_progress = true;  // Sync flag : prevent recursive calls to the signal handler