Merge pull request #20185 from fzi-haxel/pr/fix-mutex-debug-msg

core/mutex: Fix debug message for mutex priority inheritance
RIOT-OS · Dec 14, 2023 · e6cbdda · e6cbdda
2 parents 4e291c4 + 0fe0a6d
commit e6cbdda
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/core/mutex.c b/core/mutex.c
@@ -222,8 +222,8 @@ void mutex_unlock(mutex_t *mutex)
     thread_t *owner = thread_get(mutex->owner);
     if ((owner) && (owner->priority != mutex->owner_original_priority)) {
         DEBUG("PID[%" PRIkernel_pid "] prio %u --> %u\n",
-              owner->pid,
-              (unsigned)owner->priority, (unsigned)owner->priority);
+              owner->pid, (unsigned)owner->priority,
+              (unsigned)mutex->owner_original_priority);
         sched_change_priority(owner, mutex->owner_original_priority);
     }
 #endif