Index: kernel/generic/include/cpu.h
===================================================================
--- kernel/generic/include/cpu.h	(revision 2593999761151633e3726d421b2f67d1f2bcbbe0)
+++ kernel/generic/include/cpu.h	(revision c1eaec452eea24d23cfcba31035c7fa507f2a011)
@@ -76,4 +76,6 @@
 
 	context_t scheduler_context;
+
+	state_t exiting_state;
 } cpu_local_t;