Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision 011c79a1421843fafa1f7554c84434313b5e8aca)
+++ kernel/generic/include/proc/thread.h	(revision c030818c76c1190836935ae3d0c05760e3582537)
@@ -95,4 +95,5 @@
 	 */
 	context_t saved_context;
+	ipl_t saved_ipl;
 
 	/**