X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fvalidate.c;h=5c24d47bf0ff8c07490f80530873d03acfa0b4d6;hb=7f0f521aa3f6b45259c5dfd5f7f11adcd1a7cac6;hp=cf91204e080f1fcca05fcc113017eb01d0bf32b6;hpb=dfa55a883f94470267b626dae77ce7e7dfac3df6;p=sbcl.git diff --git a/src/runtime/validate.c b/src/runtime/validate.c index cf91204..5c24d47 100644 --- a/src/runtime/validate.c +++ b/src/runtime/validate.c @@ -14,13 +14,16 @@ */ #include +#include + #include "runtime.h" #include "os.h" #include "globals.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, @@ -35,7 +38,8 @@ static void ensure_space(lispobj *start, unsigned long size) static os_vm_address_t holes[] = HOLES; -static void make_holes(void) +static void +make_holes(void) { int i; @@ -52,7 +56,8 @@ static void make_holes(void) } #endif -void validate(void) +void +validate(void) { #ifdef PRINTNOISE printf("validating memory ..."); @@ -74,7 +79,7 @@ void validate(void) make_holes(); #endif #ifndef GENCGC - current_dynamic_space = DYNAMIC_0_SPACE_START; + current_dynamic_space = DYNAMIC_0_SPACE_START; #endif #ifdef PRINTNOISE