Update

[l4.git] / kernel / fiasco / src / kern / ia32 / 64 / continuation-ia32-64.cpp

diff --git a/kernel/fiasco/src/kern/ia32/64/continuation-ia32-64.cpp b/kernel/fiasco/src/kern/ia32/64/continuation-ia32-64.cpp
index 423463193cb401a9736f812b6df8ce6f9bad5010..5f8ca795ad68b2cd1f0a2d3d8bec7490eff4820b 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/64/continuation-ia32-64.cpp
+++ b/kernel/fiasco/src/kern/ia32/64/continuation-ia32-64.cpp
@@ -21,7 +21,7 @@ public:
 
   typedef Return_frame User_return_frame;
 
-  bool valid() const
+  bool valid(void const *) const
   { return _ip != ~0UL; }
 
   Address ip() const { return _ip; }
@@ -39,7 +39,7 @@ public:
     _flags = regs->flags();
     _sp = regs->sp();
     _ss = regs->ss();
-    _cs = regs->cs();
+    _cs = regs->cs() & ~0x80;
   }
 
   void activate(Return_frame *regs, void *cont_func)