1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

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

core/mutex: Fix debug message for mutex priority inheritance
This commit is contained in:
Marian Buschsieweke 2023-12-14 17:09:27 +00:00 committed by GitHub
commit e6cbdda4d6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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