kern/turnstile: fix priority propagation

1 files changed, 2 insertions, 0 deletions

diff --git a/kern/turnstile.c b/kern/turnstile.c
index 9860084d..1e667773 100644
--- a/kern/turnstile.c
+++ b/kern/turnstile.c
@@ -677,6 +677,8 @@ turnstile_update_owner(struct turnstile *turnstile, struct thread *owner)
 
     if (turnstile->owner == NULL) {
         turnstile_td_own(td, turnstile);
+    } else {
+        turnstile_td_reown(td, turnstile);
     }
 
     spinlock_unlock(&turnstile->bucket->lock);