From 28572d7d214c1945b45e299dd9c5e9335ba85697 Mon Sep 17 00:00:00 2001
From: Martine Lenders <mail@martine-lenders.eu>
Date: Fri, 9 Nov 2018 08:41:50 +0100
Subject: [PATCH] core: mutex: fix DEBUG pointer output

---
 core/mutex.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/core/mutex.c b/core/mutex.c
index e75c5882f5..cdc82d8b2c 100644
--- a/core/mutex.c
+++ b/core/mutex.c
@@ -74,8 +74,8 @@ void mutex_unlock(mutex_t *mutex)
 {
     unsigned irqstate = irq_disable();
 
-    DEBUG("mutex_unlock(): queue.next: 0x%08x pid: %" PRIkernel_pid "\n",
-          (unsigned)mutex->queue.next, sched_active_pid);
+    DEBUG("mutex_unlock(): queue.next: %p pid: %" PRIkernel_pid "\n",
+          (void *)mutex->queue.next, sched_active_pid);
 
     if (mutex->queue.next == NULL) {
         /* the mutex was not locked */
@@ -109,8 +109,8 @@ void mutex_unlock(mutex_t *mutex)
 
 void mutex_unlock_and_sleep(mutex_t *mutex)
 {
-    DEBUG("PID[%" PRIkernel_pid "]: unlocking mutex. queue.next: 0x%08x, and "
-          "taking a nap\n", sched_active_pid, (unsigned)mutex->queue.next);
+    DEBUG("PID[%" PRIkernel_pid "]: unlocking mutex. queue.next: %p, and "
+          "taking a nap\n", sched_active_pid, (void *)mutex->queue.next);
     unsigned irqstate = irq_disable();
 
     if (mutex->queue.next) {
-- 
GitLab