diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-04-04 16:47:38 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-04-04 16:47:38 +0200 |
| commit | b21f84ef1bb9e9ba69bfea069295ad4618f671eb (patch) | |
| tree | af3e80941a206353b0eb7a1a21b95e02601f5c09 /kern | |
| parent | e5facfba3d2dba679d72c859066260eb0d33456c (diff) | |
| download | gnumach-b21f84ef1bb9e9ba69bfea069295ad4618f671eb.tar.gz gnumach-b21f84ef1bb9e9ba69bfea069295ad4618f671eb.tar.bz2 gnumach-b21f84ef1bb9e9ba69bfea069295ad4618f671eb.zip | |
SMP: Fix warnings
Diffstat (limited to 'kern')
| -rw-r--r-- | kern/ast.h | 1 | ||||
| -rw-r--r-- | kern/machine.c | 6 | ||||
| -rw-r--r-- | kern/processor.c | 2 |
3 files changed, 8 insertions, 1 deletions
@@ -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> |