From ced829ca0b37604ea9531fe945031f85b2cbc8b2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 1 Jul 2006 20:07:41 +0000 Subject: [PATCH] merging protect ranges does not work right for Windows, and it is probably not needed anyway svn: r3572 --- src/mzscheme/gc2/protect_range.c | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/mzscheme/gc2/protect_range.c b/src/mzscheme/gc2/protect_range.c index fd334d87f5..f3a6ecbc6e 100644 --- a/src/mzscheme/gc2/protect_range.c +++ b/src/mzscheme/gc2/protect_range.c @@ -5,6 +5,14 @@ [page allocator] */ +#ifdef _WIN32 + +# define initialize_protect_page_ranges(b, s) /* */ +# define add_protect_page_range(s, l, a, w) protect_pages(s, l, w) +# define flush_protect_page_ranges(w) /* */ + +#else + static Page_Range protect_range; static void initialize_protect_page_ranges(void *block, unsigned long size) @@ -32,3 +40,5 @@ static void add_protect_page_range(void *_start, unsigned long len, unsigned lon add_page_range(&protect_range, _start, len, alignment); } } + +#endif