0.7.6.23:
[sbcl.git] / src / runtime / validate.h
1 /*
2  * This software is part of the SBCL system. See the README file for
3  * more information.
4  *
5  * This software is derived from the CMU CL system, which was
6  * written at Carnegie Mellon University and released into the
7  * public domain. The software is in the public domain and is
8  * provided with absolutely no warranty. See the COPYING and CREDITS
9  * files for more information.
10  */
11
12 #if !defined(_INCLUDE_VALIDATE_H_)
13 #define _INCLUDE_VALIDATE_H_
14
15 /* constants derived from the fundamental constants in passed by GENESIS */
16 #define   BINDING_STACK_SIZE (  BINDING_STACK_END -   BINDING_STACK_START)
17 #define   CONTROL_STACK_SIZE (  CONTROL_STACK_END -   CONTROL_STACK_START)
18 #define   DYNAMIC_SPACE_SIZE (  DYNAMIC_SPACE_END -   DYNAMIC_SPACE_START)
19 #define READ_ONLY_SPACE_SIZE (READ_ONLY_SPACE_END - READ_ONLY_SPACE_START)
20 #define    STATIC_SPACE_SIZE (   STATIC_SPACE_END -    STATIC_SPACE_START)
21
22 #ifdef LISP_FEATURE_STACK_GROWS_DOWNWARD_NOT_UPWARD 
23 #define CONTROL_STACK_GUARD_PAGE (CONTROL_STACK_START)
24 #else
25 #define CONTROL_STACK_GUARD_PAGE (CONTROL_STACK_END - os_vm_page_size)
26 #endif
27
28 #if !defined(LANGUAGE_ASSEMBLY)
29 extern void validate(void);
30 extern void protect_control_stack_guard_page(int protect_p);
31 #endif
32
33 /* note for anyone trying to port an architecture's support files
34  * from CMU CL to SBCL:
35  *
36  * CMU CL had architecture-dependent header files included here to
37  * define memory map data:
38  *   #ifdef __i386__
39  *   #include "x86-validate.h"
40  *   #endif
41  * and so forth. In SBCL, the memory map data are defined at the Lisp
42  * level (compiler/target/parms.lisp) and stuffed into the sbcl.h file
43  * created by GENESIS, so there's no longer a need for an
44  * architecture-dependent header file of memory map data. 
45  */
46
47 #endif