kern/rtmutex: fix priority propagation on unlock

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();
 }