From a83516b2f64df0522415906607b234dc2db2313c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Joakim=20Nohlga=CC=8Ard?= Date: Tue, 23 Mar 2021 09:31:57 +0100 Subject: [PATCH] core/msg: Fix mismatched printf signed/unsigned format cib_avail returns unsigned int --- core/msg.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/msg.c b/core/msg.c index 0f356b74d3..d868baa044 100644 --- a/core/msg.c +++ b/core/msg.c @@ -467,7 +467,7 @@ void msg_queue_print(void) unsigned int i = msg_queue->read_count & msg_queue->mask; printf("Message queue of thread %" PRIkernel_pid "\n", thread->pid); - printf(" size: %u (avail: %d)\n", msg_queue->mask + 1, + printf(" size: %u (avail: %u)\n", msg_queue->mask + 1, cib_avail(msg_queue)); for (; i != (msg_queue->write_count & msg_queue->mask);