summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog9
-rw-r--r--i386/i386at/model_dep.c1
-rw-r--r--kern/debug.c2
-rw-r--r--kern/mach_clock.c1
-rw-r--r--kern/machine.c5
-rw-r--r--kern/sched_prim.c1
-rw-r--r--kern/startup.c1
-rw-r--r--vm/pmap.h9
8 files changed, 25 insertions, 4 deletions
diff --git a/ChangeLog b/ChangeLog
index 2220eab..e3116b3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -65,6 +65,15 @@
* device/tty.h (ttyinput_many, tty_cts, tty_get_status,
tty_set_status, tty_flush, ttrstrt, ttstart, ttyclose, tty_portdeath,
chario_init): Add prototypes.
+ * 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.
2008-07-04 Samuel Thibault <samuel.thibault@ens-lyon.org>
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c
index fca4b94..d67f709 100644
--- a/i386/i386at/model_dep.c
+++ b/i386/i386at/model_dep.c
@@ -53,6 +53,7 @@
#include <i386/pmap.h>
#include <i386/proc_reg.h>
#include <i386/locore.h>
+#include <i386/model_dep.h>
/* Location of the kernel's symbol table.
Both of these are 0 if none is available. */
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>
diff --git a/vm/pmap.h b/vm/pmap.h
index 04ab4e9..66818a1 100644
--- a/vm/pmap.h
+++ b/vm/pmap.h
@@ -209,6 +209,15 @@ extern kern_return_t pmap_attribute();
#endif /* pmap_attribute */
/*
+ * Grab a physical page:
+ * the standard memory allocation mechanism
+ * during system initialization.
+ */
+extern vm_offset_t pmap_grab_page (void);
+
+extern boolean_t pmap_valid_page(vm_offset_t x);
+
+/*
* Routines defined as macros.
*/
#ifndef PMAP_ACTIVATE_USER