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