From cd79dfb5a877915e142804b1d2a06a4e15955fce Mon Sep 17 00:00:00 2001
From: Benjamin Valentin <benjamin.valentin@ml-pa.com>
Date: Fri, 1 Dec 2023 19:46:27 +0100
Subject: [PATCH] core/mutex: include cpu.h

This is needed for core_mutex_debug
---
 core/mutex.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/mutex.c b/core/mutex.c
index 53dd916a93..6fd891d49f 100644
--- a/core/mutex.c
+++ b/core/mutex.c
@@ -24,6 +24,7 @@
 #include <inttypes.h>
 #include <stdio.h>
 
+#include "cpu.h"
 #include "mutex.h"
 #include "thread.h"
 #include "sched.h"