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)