0.6.7.22: removed CVS dollar-Header-dollar tags from sources

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

diff --git a/src/runtime/x86-validate.h b/src/runtime/x86-validate.h
index b86cd82..6c4f268 100644 (file)
--- a/src/runtime/x86-validate.h
+++ b/src/runtime/x86-validate.h
@@ -9,36 +9,8 @@
  * files for more information.
  */
 
-/*
- * $Header$
- */
-\f
-#if defined(__FreeBSD__) || defined(__OpenBSD__)
-#define READ_ONLY_SPACE_SIZE    (0x0ffff000) /* 256MB - 1 page */
-
-#if defined __FreeBSD__
-#define STATIC_SPACE_SIZE      (0x07fff000) /* 128M - 1 page */
-#elif defined __OpenBSD__
-#define STATIC_SPACE_SIZE      (0x0ffff000) /* 256M - 1 page */
-#else
-#error unsupported BSD variant
-#endif
-
-#define BINDING_STACK_START    (0x38000000)
-#define BINDING_STACK_SIZE     (0x07fff000) /* 128MB - 1 page */
-
-#define DYNAMIC_SPACE_SIZE     (0x40000000) /* may be up to 2GB */
-#endif
-
-#ifdef __linux__
-#define READ_ONLY_SPACE_SIZE    (0x02800000) /* 40MB */
-
-#define STATIC_SPACE_SIZE      (0x02fff000) /* 48MB - 1 page */
-
-#define BINDING_STACK_START    (0x60000000)
-#define BINDING_STACK_SIZE     (0x07fff000) /* 128MB - 1 page */
-
-#define DYNAMIC_SPACE_SIZE     (0x20000000) /* 512MB */
-#endif
-
-#define CONTROL_STACK_SIZE     (CONTROL_STACK_END - CONTROL_STACK_START)
+#define   BINDING_STACK_SIZE (  BINDING_STACK_END -   BINDING_STACK_START)
+#define   CONTROL_STACK_SIZE (  CONTROL_STACK_END -   CONTROL_STACK_START)
+#define   DYNAMIC_SPACE_SIZE (  DYNAMIC_SPACE_END -   DYNAMIC_SPACE_START)
+#define READ_ONLY_SPACE_SIZE (READ_ONLY_SPACE_END - READ_ONLY_SPACE_START)
+#define    STATIC_SPACE_SIZE (   STATIC_SPACE_END -    STATIC_SPACE_START)