3 * From FreeBSD-os.c 1.6 2000/10/24 13:32:30 dtc Exp
5 * OS-dependent routines. This file (along with os.h) exports an
6 * OS-independent interface to the operating system VM facilities.
7 * Suprisingly, this interface looks a lot like the Mach interface
8 * (but simpler in some places). For some operating systems, a subset
9 * of these functions will have to be emulated.
11 * This is the OSF1 version. By Sean Hallgren.
12 * Much hacked by Paul Werkowski
13 * GENCGC support by Douglas Crosher, 1996, 1997.
14 * Frobbed for OpenBSD by Pierre R. Mai, 2001.
19 #include <sys/param.h>
25 #include "interrupt.h"
27 #include "internals.h"
29 #include <sys/types.h>
31 /* #include <sys/sysinfo.h> */
34 vm_size_t os_vm_page_size;
42 os_init0(const char *argv[], const char *envp[])
46 os_init(const char *argv[], const char *envp[])
48 os_vm_page_size = OS_VM_DEFAULT_PAGESIZE;
52 sc_reg(struct sigcontext *c, int offset)
76 os_validate(os_vm_address_t addr, os_vm_size_t len)
78 int flags = MAP_PRIVATE | MAP_ANON;
83 DPRINTF(0, (stderr, "os_validate %x %d => ", addr, len));
85 addr = mmap(addr, len, OS_VM_PROT_ALL, flags, -1, 0);
87 if (addr == (os_vm_address_t) - 1) {
92 DPRINTF(0, (stderr, "%x\n", addr));
98 os_invalidate(os_vm_address_t addr, os_vm_size_t len)
100 DPRINTF(0, (stderr, "os_invalidate %x %d\n", addr, len));
102 if (munmap(addr, len) == -1)
107 os_map(int fd, int offset, os_vm_address_t addr, os_vm_size_t len)
109 addr = mmap(addr, len,
111 MAP_PRIVATE | MAP_FILE | MAP_FIXED, fd, (off_t) offset);
113 if (addr == (os_vm_address_t) - 1)
120 os_flush_icache(os_vm_address_t address, os_vm_size_t length)
125 os_protect(os_vm_address_t address, os_vm_size_t length, os_vm_prot_t prot)
127 if (mprotect(address, length, prot) == -1)
134 in_range_p(os_vm_address_t a, lispobj sbeg, size_t slen)
136 char *beg = (char *) sbeg;
137 char *end = (char *) sbeg + slen;
138 char *adr = (char *) a;
140 return (adr >= beg && adr < end);
144 valid_addr(os_vm_address_t addr)
147 os_vm_address_t newaddr;
149 newaddr = os_trunc_to_page(addr);
151 if (in_range_p(addr, READ_ONLY_SPACE_START, READ_ONLY_SPACE_SIZE)
152 || in_range_p(addr, STATIC_SPACE_START, STATIC_SPACE_SIZE)
153 || in_range_p(addr, DYNAMIC_0_SPACE_START, dynamic_space_size)
154 || in_range_p(addr, DYNAMIC_1_SPACE_START, dynamic_space_size)
155 || in_range_p(addr, CONTROL_STACK_START, CONTROL_STACK_SIZE)
156 || in_range_p(addr, BINDING_STACK_START, BINDING_STACK_SIZE))
163 sigsegv_handler(HANDLER_ARGS)
166 caddr_t fault_addr = code->si_addr;
169 fprintf(stderr, "Signal %d, fault_addr=%x, page_index=%d:\n",
170 signal, fault_addr, page_index);
173 if (gc_write_barrier(code->si_addr))
179 DPRINTF(0, (stderr, "sigsegv:\n"));
180 interrupt_handle_now(signal, code, context);
184 sigbus_handler(HANDLER_ARGS)
188 DPRINTF(0, (stderr, "sigbus:\n"));
189 interrupt_handle_now(signal, code, context);
193 os_install_interrupt_handlers(void)
195 interrupt_install_low_level_handler(SIGSEGV, sigsegv_handler);
196 interrupt_install_low_level_handler(SIGBUS, sigbus_handler);