From 0ec126c6d101b32c84e83bc17525aa852b4fbf51 Mon Sep 17 00:00:00 2001
From: Tom Hughes <tomhughes@chromium.org>
Date: Mon, 6 Jan 2025 16:47:21 -0800
Subject: [PATCH] kernel: Add missing marshalling header for k_reschedule

Without this header, compiling the kernel.poll test with
-Werror=unused-function fails.

Signed-off-by: Tom Hughes <tomhughes@chromium.org>
---
 kernel/sched.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/sched.c b/kernel/sched.c
index 37196567dc0..14fd1304fc0 100644
--- a/kernel/sched.c
+++ b/kernel/sched.c
@@ -1031,6 +1031,7 @@ static inline void z_vrfy_k_reschedule(void)
 {
 	z_impl_k_reschedule();
 }
+#include <zephyr/syscalls/k_reschedule_mrsh.c>
 #endif /* CONFIG_USERSPACE */
 
 bool k_can_yield(void)