diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2008-07-17 00:28:06 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:27:16 +0200 |
| commit | c94759ba7930feda649e73aabf710a4dcfcd0403 (patch) | |
| tree | c6aa69d72673d8d71d67268e6ddad32623e8ace6 /kern | |
| parent | 2580af6c44c6b6dd9f714e764a0f74958bb20ea2 (diff) | |
2008-07-15 Barry deFreese <bddebian@comcast.net>
* i386/i386/model_dep.h: New header.
* i386/i386at/model_dep.c: Include <i386/model_dep.h>.
* kern/debug.c: Include <machine/model_dep.h>.
* kern/mach_clock.c: Likewise.
* kern/sched_prim.c: Likewise.
* kern/startup.c: Likewise.
* kern/machine.c: Likewise.
(halt_cpu): Remove prototype.
* vm/pmap.h (pmap_grab_page): Add prototype.
Diffstat (limited to 'kern')
| -rw-r--r-- | kern/debug.c | 2 | ||||
| -rw-r--r-- | kern/mach_clock.c | 1 | ||||
| -rw-r--r-- | kern/machine.c | 5 | ||||
| -rw-r--r-- | kern/sched_prim.c | 1 | ||||
| -rw-r--r-- | kern/startup.c | 1 |
5 files changed, 6 insertions, 4 deletions
diff --git a/kern/debug.c b/kern/debug.c index e81c6a2..2c9e761 100644 --- a/kern/debug.c +++ b/kern/debug.c @@ -33,6 +33,8 @@ #include <kern/debug.h> +#include <machine/model_dep.h> + extern void cnputc(); void Debugger() __attribute__ ((noreturn)); diff --git a/kern/mach_clock.c b/kern/mach_clock.c index 22c4a74..781101b 100644 --- a/kern/mach_clock.c +++ b/kern/mach_clock.c @@ -59,6 +59,7 @@ #include <sys/time.h> #include <machine/mach_param.h> /* HZ */ #include <machine/machspl.h> +#include <machine/model_dep.h> #if MACH_PCSAMPLE #include <kern/pc_sample.h> diff --git a/kern/machine.c b/kern/machine.c index 871801e..97181a8 100644 --- a/kern/machine.c +++ b/kern/machine.c @@ -51,6 +51,7 @@ #include <kern/task.h> #include <kern/thread.h> #include <machine/machspl.h> /* for splsched */ +#include <machine/model_dep.h> #include <sys/reboot.h> @@ -688,10 +689,6 @@ Restart_pset: */ #ifdef __GNUC__ -extern __volatile__ void halt_cpu(); -#endif - -#ifdef __GNUC__ __volatile__ #endif void processor_doshutdown(processor) diff --git a/kern/sched_prim.c b/kern/sched_prim.c index db3c1f2..ec3245d 100644 --- a/kern/sched_prim.c +++ b/kern/sched_prim.c @@ -36,6 +36,7 @@ #include <mach/machine.h> #include <machine/locore.h> #include <machine/machspl.h> /* For def'n of splsched() */ +#include <machine/model_dep.h> #include <kern/ast.h> #include <kern/counters.h> #include <kern/cpu_number.h> diff --git a/kern/startup.c b/kern/startup.c index 6468ae2..5eea5bc 100644 --- a/kern/startup.c +++ b/kern/startup.c @@ -52,6 +52,7 @@ #include <vm/vm_page.h> #include <machine/machspl.h> #include <machine/pmap.h> +#include <machine/model_dep.h> #include <mach/version.h> |