update

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

diff --git a/kernel/fiasco/src/kern/context-vcpu.cpp b/kernel/fiasco/src/kern/context-vcpu.cpp
index c322bc9f31da59cb9a3cead6f35a223ebf13cd77..d7fc367de1248daba603dba1ddc1d5fedeeca3e5 100644 (file)
--- a/kernel/fiasco/src/kern/context-vcpu.cpp
+++ b/kernel/fiasco/src/kern/context-vcpu.cpp
@@ -67,9 +67,7 @@ Context::vcpu_enter_kernel_mode()
       if (state() & Thread_vcpu_user_mode)
        {
          vcpu_state()->_sp = vcpu_state()->_entry_sp;
-         state_del_dirty(  Thread_vcpu_user_mode
-                          | Thread_vcpu_fpu_disabled
-                          | Thread_alien);
+         state_del_dirty(Thread_vcpu_user_mode | Thread_vcpu_fpu_disabled);
 
          if (current() == this)
            {