update

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

diff --git a/kernel/fiasco/src/kern/ipc_timeout.cpp b/kernel/fiasco/src/kern/ipc_timeout.cpp
index bbdae9732363975e085d21ec6e16b64baf50f2a5..3cbf780c7c78867cbfce729246327f4dff5287ee 100644 (file)
--- a/kernel/fiasco/src/kern/ipc_timeout.cpp
+++ b/kernel/fiasco/src/kern/ipc_timeout.cpp
@@ -56,7 +56,7 @@ IPC_timeout::expired()
   Receiver * const _owner = owner();
 
   // Set thread ready
-  _owner->state_change (~Thread_ipc_in_progress, Thread_ready);
+  _owner->state_change_dirty(~Thread_ipc_mask, Thread_ready | Thread_timeout);
 
   // Flag reschedule if owner's priority is higher than the current
   // thread's (own or timeslice-donated) priority.