From e0febd08e874d999d21cf570469a471a96d85bb7 Mon Sep 17 00:00:00 2001
From: Jan Mohr <jan.mohr@ml-pa.com>
Date: Fri, 16 Sep 2022 15:56:17 +0200
Subject: [PATCH] core/msg.c: irq was not restored properly

---
 core/msg.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/msg.c b/core/msg.c
index 6921626c4d..cc4b2e82b6 100644
--- a/core/msg.c
+++ b/core/msg.c
@@ -492,6 +492,7 @@ void msg_queue_print(void)
 
     if (msg_counter < 1) {
         /* no msg queue */
+        irq_restore(state);
         printf("No messages or no message queue\n");
         return;
     }