Index: libcfa/src/concurrency/kernel/fwd.hfa
===================================================================
--- libcfa/src/concurrency/kernel/fwd.hfa	(revision a76efc81ae8d3521f1f24b43e72a0493a1b8600c)
+++ libcfa/src/concurrency/kernel/fwd.hfa	(revision 829405b168f556b91630beebfdf12cf9cdaed33c)
@@ -38,6 +38,5 @@
 			struct $thread          * volatile this_thread;
 			struct processor        * volatile this_processor;
-			struct __processor_id_t * volatile this_proc_id;
-			struct __stats_t        * volatile this_stats;
+			volatile bool sched_lock;
 
 			struct {
@@ -56,4 +55,13 @@
 				uint64_t bck_seed;
 			} ready_rng;
+
+			struct __stats_t        * volatile this_stats;
+
+
+			#ifdef __CFA_WITH_VERIFY__
+				// Debug, check if the rwlock is owned for reading
+				bool in_sched_lock;
+				unsigned sched_id;
+			#endif
 		} __cfaabi_tls __attribute__ ((tls_model ( "initial-exec" )));