Index: libcfa/src/concurrency/preemption.cfa
===================================================================
--- libcfa/src/concurrency/preemption.cfa	(revision 5877b3ed96e7115eef2a9a5432532c8f3c29a7d1)
+++ libcfa/src/concurrency/preemption.cfa	(revision 8e9e9a2d7a14bd29799dcae8c81b6a96b111f6b3)
@@ -186,4 +186,5 @@
 	void enable_interrupts( __cfaabi_dbg_ctx_param ) {
 		processor   * proc = kernelTLS.this_processor; // Cache the processor now since interrupts can start happening after the atomic store
+		/* paranoid */ verify( proc );
 
 		with( kernelTLS.preemption_state ){