From 1f21bb9003eb1937aa885ccbe316beae9d251e87 Mon Sep 17 00:00:00 2001
From: Daniel Leung <daniel.leung@intel.com>
Date: Fri, 2 May 2025 09:43:17 -0700
Subject: [PATCH] soc: esp32: include ksched.h in esp32-mp.c

esp32-mp.c calls z_sched_ipi() so it needs to include ksched.h,
as it is no longer included via kernel.h after removal of
kernel/internal/smp.h.

Signed-off-by: Daniel Leung <daniel.leung@intel.com>
---
 soc/espressif/esp32/esp32-mp.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/soc/espressif/esp32/esp32-mp.c b/soc/espressif/esp32/esp32-mp.c
index 55bc5fd028e..74ebae29052 100644
--- a/soc/espressif/esp32/esp32-mp.c
+++ b/soc/espressif/esp32/esp32-mp.c
@@ -22,6 +22,7 @@
 #ifdef CONFIG_SMP
 
 #include <ipi.h>
+#include <ksched.h>
 
 #ifndef CONFIG_SOC_ESP32_PROCPU
 static struct k_spinlock loglock;