integrated Raymond Wiker's patches to port RUN-PROGRAM from CMU CL and

[sbcl.git] / src / runtime / x86-validate.h

diff --git a/src/runtime/x86-validate.h b/src/runtime/x86-validate.h
index f9fcde2..2fdf41e 100644 (file)
--- a/src/runtime/x86-validate.h
+++ b/src/runtime/x86-validate.h
@@ -14,14 +14,14 @@
  */
 \f
 /*
- * Address map:
+ * address map:
  *
  *  FreeBSD:
  *     0x00000000->0x0E000000 224M C program and memory allocation.
  *     0x0E000000->0x10000000  32M Foreign segment.
  *     0x10000000->0x20000000 256M Read-Only Space.
- *     0x20000000->0x28000000 128M Reserved for shared libraries.
- *     0x28000000->0x38000000 256M Static Space.
+ *     0x20000000->0x30000000 256M Reserved for shared libraries.
+ *     0x30000000->0x38000000 128M Static Space.
  *     0x38000000->0x40000000 128M Binding stack growing up.
  *     0x40000000->0x48000000 128M Control stack growing down.
  *     0x48000000->0xC8000000 2GB  Dynamic Space.
@@ -40,14 +40,15 @@
  *
  * FIXME: There's something wrong with addressing maps which are so
  * brittle that they can be commented as fixed addresses. Try to
- * parameterize these so they can be set at build time. */
+ * parameterize these so they can be set at build time.
+ */
 
 #if defined(__FreeBSD__) || defined(__OpenBSD__)
 #define READ_ONLY_SPACE_START   (0x10000000)
 #define READ_ONLY_SPACE_SIZE    (0x0ffff000) /* 256MB - 1 page */
 
-#define STATIC_SPACE_START     (0x28000000)
-#define STATIC_SPACE_SIZE      (0x0ffff000) /* 256MB - 1 page */
+#define STATIC_SPACE_START     (0x30000000)
+#define STATIC_SPACE_SIZE      (0x07fff000) /* 128M - 1 page */
 
 #define BINDING_STACK_START    (0x38000000)
 #define BINDING_STACK_SIZE     (0x07fff000) /* 128MB - 1 page */