update

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

diff --git a/kernel/fiasco/src/kern/thread_object.cpp b/kernel/fiasco/src/kern/thread_object.cpp
index 37eed13f0520d0099cb74f5a0a9a98bea9921aa5..f00e9c67dbe69fb33b6c531ff70c2c5bca1d5c82 100644 (file)
--- a/kernel/fiasco/src/kern/thread_object.cpp
+++ b/kernel/fiasco/src/kern/thread_object.cpp
@@ -543,8 +543,7 @@ Thread_object::ex_regs(Address ip, Address sp,
 
   else if (ops & Exr_cancel)
     // cancel ongoing IPC or other activity
-    state_change_dirty(~(Thread_ipc_in_progress | Thread_delayed_deadline |
-                       Thread_delayed_ipc), Thread_cancel | Thread_ready, false);
+    state_add_dirty(Thread_cancel | Thread_ready);
 
   if (ops & Exr_trigger_exception)
     {