From 9e0a5dc54d62ad7702ca041dcd7a4adf07d814fa Mon Sep 17 00:00:00 2001 From: Richard Braun Date: Sun, 20 Aug 2017 17:40:07 +0200 Subject: kern/turnstile: fix priority propagation --- kern/turnstile.c | 2 ++ 1 file changed, 2 insertions(+) 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); -- cgit v1.2.3