update

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

diff --git a/kernel/fiasco/src/kern/ia32/64/thread-ia32-64.cpp b/kernel/fiasco/src/kern/ia32/64/thread-ia32-64.cpp
index 910d10984d600babea9b44e49da1de34dc251d11..3cc25f578a23acb6af1ea2ffda3f0e0237b06e1f 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/64/thread-ia32-64.cpp
+++ b/kernel/fiasco/src/kern/ia32/64/thread-ia32-64.cpp
@@ -12,6 +12,7 @@ Thread::fast_return_to_user(Mword ip, Mword sp, T arg)
 
   regs()->ip(ip);
   regs()->sp(sp);
+  regs()->flags(EFLAGS_IF);
   asm volatile
     ("mov %0, %%rsp \t\n"
      "iretq         \t\n"