2 * This software is part of the SBCL system. See the README file for
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.
12 #if !defined(_INCLUDE_VALIDATE_H_)
13 #define _INCLUDE_VALIDATE_H_
15 /* constants derived from the fundamental constants in passed by GENESIS */
16 #define BINDING_STACK_SIZE (1024*1024) /* chosen at random */
17 #define DYNAMIC_SPACE_SIZE ( DYNAMIC_SPACE_END - DYNAMIC_SPACE_START)
18 #define READ_ONLY_SPACE_SIZE (READ_ONLY_SPACE_END - READ_ONLY_SPACE_START)
19 #define STATIC_SPACE_SIZE ( STATIC_SPACE_END - STATIC_SPACE_START)
20 #define THREAD_CONTROL_STACK_SIZE (2*1024*1024) /* eventually this'll be choosable per-thread */
22 #ifdef LISP_FEATURE_LINKAGE_TABLE
23 #define LINKAGE_TABLE_SPACE_SIZE (LINKAGE_TABLE_SPACE_END - LINKAGE_TABLE_SPACE_START)
26 #if !defined(LANGUAGE_ASSEMBLY)
28 #ifdef LISP_FEATURE_STACK_GROWS_DOWNWARD_NOT_UPWARD
29 #define CONTROL_STACK_GUARD_PAGE(th) ((void *)(th->control_stack_start))
31 #define CONTROL_STACK_GUARD_PAGE(th) \
32 (((void *)(th->control_stack_end)) - os_vm_page_size)
35 extern void validate(void);
36 extern void protect_control_stack_guard_page(pid_t t_id, int protect_p);
39 /* note for anyone trying to port an architecture's support files
40 * from CMU CL to SBCL:
42 * CMU CL had architecture-dependent header files included here to
43 * define memory map data:
44 * #ifdef LISP_FEATURE_X86
45 * #include "x86-validate.h"
47 * and so forth. In SBCL, the memory map data are defined at the Lisp
48 * level (compiler/target/parms.lisp) and stuffed into the sbcl.h file
49 * created by GENESIS, so there's no longer a need for an
50 * architecture-dependent header file of memory map data.