From b21f84ef1bb9e9ba69bfea069295ad4618f671eb Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 4 Apr 2021 16:47:38 +0200
Subject: SMP: Fix warnings

---
 kern/ast.h       | 1 +
 kern/machine.c   | 6 +++++-
 kern/processor.c | 2 ++
 3 files changed, 8 insertions(+), 1 deletion(-)

(limited to 'kern')

diff --git a/kern/ast.h b/kern/ast.h
index 8895ffbc..c8cbd04f 100644
--- a/kern/ast.h
+++ b/kern/ast.h
@@ -133,6 +133,7 @@ extern void ast_init (void);
 extern void ast_check (void);
 
 #if	NCPUS > 1
+extern void init_ast_check(const processor_t processor);
 extern void cause_ast_check(const processor_t processor);
 #endif
 
diff --git a/kern/machine.c b/kern/machine.c
index 3f7a7f7f..2fe30cee 100644
--- a/kern/machine.c
+++ b/kern/machine.c
@@ -50,8 +50,10 @@
 #include <kern/sched.h>
 #include <kern/task.h>
 #include <kern/thread.h>
+#include <kern/printf.h>
 #include <machine/machspl.h>	/* for splsched */
 #include <machine/model_dep.h>
+#include <machine/pcb.h>
 #include <sys/reboot.h>
 
 
@@ -358,7 +360,7 @@ processor_shutdown(processor_t processor)
 /*
  *	action_thread() shuts down processors or changes their assignment.
  */
-void action_thread_continue(void)
+void __attribute__((noreturn)) action_thread_continue(void)
 {
 	processor_t	processor;
 	spl_t		s;
@@ -589,7 +591,9 @@ Restart_pset:
 	s = splsched();
 	processor_lock(processor);
 
+#if	MACH_HOST
     shutdown:
+#endif	/* MACH_HOST */
 	pset_remove_processor(pset, processor);
 	processor_unlock(processor);
 	pset_unlock(pset);
diff --git a/kern/processor.c b/kern/processor.c
index 6ed716d3..ec56952e 100644
--- a/kern/processor.c
+++ b/kern/processor.c
@@ -39,12 +39,14 @@
 #include <kern/lock.h>
 #include <kern/host.h>
 #include <kern/ipc_tt.h>
+#include <kern/machine.h>
 #include <kern/processor.h>
 #include <kern/sched.h>
 #include <kern/task.h>
 #include <kern/thread.h>
 #include <kern/ipc_host.h>
 #include <ipc/ipc_port.h>
+#include <machine/mp_desc.h>
 
 #if	MACH_HOST
 #include <kern/slab.h>
-- 
cgit v1.2.3