update

[l4.git] / kernel / fiasco / src / kern / context.cpp

diff --git a/kernel/fiasco/src/kern/context.cpp b/kernel/fiasco/src/kern/context.cpp
index 0983e9b4a6b7f540d255dc864587c289a293aec0..063e4d59fb087bbdf95c2b5685ae4f93274f2227 100644 (file)
--- a/kernel/fiasco/src/kern/context.cpp
+++ b/kernel/fiasco/src/kern/context.cpp
@@ -1,5 +1,6 @@
 INTERFACE:
 
+#include <csetjmp>             // typedef jmp_buf
 #include "types.h"
 #include "clock.h"
 #include "config.h"
@@ -172,7 +173,8 @@ public:
   /**
    * Definition of different scheduling modes
    */
-  enum Sched_mode {
+  enum Sched_mode
+  {
     Periodic   = 0x1,  ///< 0 = Conventional, 1 = Periodic
     Nonstrict  = 0x2,  ///< 0 = Strictly Periodic, 1 = Non-strictly periodic
   };
@@ -295,6 +297,8 @@ protected:
   // for trigger_exception
   Continuation _exc_cont;
 
+  jmp_buf *_recover_jmpbuf;     // setjmp buffer for page-fault recovery
+
   struct Migration_rq
   {
     Migration_info inf;
@@ -1731,6 +1735,10 @@ Context::rcu_unblock(Rcu_item *i)
   return true;
 }
 
+PUBLIC inline
+void
+Context::recover_jmp_buf(jmp_buf *b)
+{ _recover_jmpbuf = b; }
 
 //----------------------------------------------------------------------------
 IMPLEMENTATION [!mp]: