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/machine.c | |
| parent | 2580af6c44c6b6dd9f714e764a0f74958bb20ea2 (diff) | |
| download | gnumach-c94759ba7930feda649e73aabf710a4dcfcd0403.tar.gz gnumach-c94759ba7930feda649e73aabf710a4dcfcd0403.tar.bz2 gnumach-c94759ba7930feda649e73aabf710a4dcfcd0403.zip | |
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/machine.c')
| -rw-r--r-- | kern/machine.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/kern/machine.c b/kern/machine.c index 871801e0..97181a84 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) |