diff options
| -rw-r--r-- | kern/rtmutex.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kern/rtmutex.c b/kern/rtmutex.c index 09637514..b6c4645c 100644 --- a/kern/rtmutex.c +++ b/kern/rtmutex.c @@ -211,7 +211,7 @@ rtmutex_unlock_slow(struct rtmutex *rtmutex) owner = rtmutex_unlock_fast(rtmutex); if (!(owner & RTMUTEX_CONTENDED)) { - return; + goto out; } } @@ -224,7 +224,7 @@ rtmutex_unlock_slow(struct rtmutex *rtmutex) turnstile_release(turnstile); - /* TODO Make private, use thread_set_priority_propagation_needed instead */ +out: thread_propagate_priority(); } |