* files for more information.
*/
-/*
- * $Header$
- */
-
#include <stdio.h>
#include "runtime.h"
#include "os.h"
#include "sbcl.h"
#include "validate.h"
-static void ensure_space(lispobj *start, unsigned long size)
+static void
+ensure_space(lispobj *start, unsigned long size)
{
if (os_validate((os_vm_address_t)start,(os_vm_size_t)size)==NULL) {
fprintf(stderr,
- "ensure_space: failed to validate %ld bytes at 0x%08X\n",
+ "ensure_space: failed to validate %ld bytes at 0x%08lx\n",
size,
(unsigned long)start);
exit(1);
static os_vm_address_t holes[] = HOLES;
-static void make_holes(void)
+static void
+make_holes(void)
{
int i;
}
#endif
-void validate(void)
+void
+validate(void)
{
#ifdef PRINTNOISE
printf("validating memory ...");
fflush(stdout);
#endif
- ensure_space(READ_ONLY_SPACE_START, READ_ONLY_SPACE_SIZE);
-
- ensure_space(STATIC_SPACE_START, STATIC_SPACE_SIZE);
-
- ensure_space(DYNAMIC_SPACE_START, DYNAMIC_SPACE_SIZE);
-
- control_stack = (lispobj *) CONTROL_STACK_START;
-#ifdef __i386__
- control_stack_end = (lispobj *) (CONTROL_STACK_START
- + CONTROL_STACK_SIZE);
+ ensure_space( (lispobj *)READ_ONLY_SPACE_START, READ_ONLY_SPACE_SIZE);
+ ensure_space( (lispobj *)STATIC_SPACE_START , STATIC_SPACE_SIZE);
+#ifdef GENCGC
+ ensure_space( (lispobj *)DYNAMIC_SPACE_START , DYNAMIC_SPACE_SIZE);
+#else
+ ensure_space( (lispobj *)DYNAMIC_0_SPACE_START , DYNAMIC_SPACE_SIZE);
+ ensure_space( (lispobj *)DYNAMIC_1_SPACE_START , DYNAMIC_SPACE_SIZE);
#endif
- ensure_space(control_stack, CONTROL_STACK_SIZE);
-
- ensure_space(BINDING_STACK_START, BINDING_STACK_SIZE);
+ ensure_space( (lispobj *)CONTROL_STACK_START , CONTROL_STACK_SIZE);
+ ensure_space( (lispobj *)BINDING_STACK_START , BINDING_STACK_SIZE);
#ifdef HOLES
make_holes();
#endif
+#ifndef GENCGC
+ current_dynamic_space = DYNAMIC_0_SPACE_START;
+#endif
#ifdef PRINTNOISE
printf(" done.\n");