2 * FreeBSD-os.c. Maybe could be just BSD-os.c
3 * From osf1-os.c,v 1.1 94/03/27 15:30:51 hallgren 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.
19 #include <machine/npx.h>
23 #include "interrupt.h"
25 #include "internals.h"
37 vm_size_t os_vm_page_size;
40 os_init0(const char *argv[], const char *envp[])
44 os_init(const char *argv[], const char *envp[])
46 os_vm_page_size = getpagesize();
50 os_sigcontext_reg(ucontext_t *scp, int index)
56 rv = &scp->uc_mcontext.mc_eax;
59 rv = &scp->uc_mcontext.mc_ecx;
62 rv = &scp->uc_mcontext.mc_edx;
65 rv = &scp->uc_mcontext.mc_ebx;
68 rv = &scp->uc_mcontext.mc_esp;
71 rv = &scp->uc_mcontext.mc_ebp;
74 rv = &scp->uc_mcontext.mc_esi;
77 rv = &scp->uc_mcontext.mc_edi;
83 /* Pre-cast to (void *), to avoid the compiler warning:
84 * dereferencing type-punned pointer will break strict-aliasing rules
86 return (unsigned long *) (void *) rv;
90 os_sigcontext_pc(ucontext_t *scp)
92 return (unsigned long *) (void *) &scp->uc_mcontext.mc_eip;
96 os_sigcontext_fpu_reg(ucontext_t *scp, int index)
98 union savefpu *sv = (union savefpu *) scp->uc_mcontext.mc_fpstate;
99 int fpformat = scp->uc_mcontext.mc_fpformat;
100 unsigned char *reg = NULL;
105 reg = sv->sv_xmm.sv_fp[index].fp_acc.fp_bytes;
107 reg = sv->sv_xmm.sv_xmm[index - 8].xmm_bytes;
111 reg = sv->sv_87.sv_ac[index].fp_bytes;
113 case _MC_FPFMT_NODEV:
121 os_sigcontext_fpu_modes(ucontext_t *scp)
125 union savefpu *sv = (union savefpu *) scp->uc_mcontext.mc_fpstate;
126 int fpformat = scp->uc_mcontext.mc_fpformat;
127 struct env87 *env_87 = &sv->sv_87.sv_env;
128 struct envxmm *env_xmm = &sv->sv_xmm.sv_env;
132 if (fpformat == _MC_FPFMT_XMM) {
135 } else if (fpformat == _MC_FPFMT_387) {
136 cw = env_87->en_cw & 0xffff;
137 sw = env_87->en_sw & 0xffff;
138 } else { /* _MC_FPFMT_NODEV */
143 modes = ((cw & 0x3f) << 7) | (sw & 0x3f);
146 if (fpu_mode == SSE2) {
147 u_int32_t mxcsr = env_xmm->en_mxcsr;
149 DPRINTF(0, (stderr, "SSE2 modes = %08x\n", (int)mxcsr));
153 modes ^= (0x3f << 7);
158 os_validate(os_vm_address_t addr, os_vm_size_t len)
160 int flags = MAP_PRIVATE | MAP_ANON;
165 addr = mmap(addr, len, OS_VM_PROT_ALL, flags, -1, 0);
167 if (addr == (os_vm_address_t) - 1) {
176 os_invalidate(os_vm_address_t addr, os_vm_size_t len)
178 if (munmap(addr, len) == -1)
183 os_map(int fd, int offset, os_vm_address_t addr, os_vm_size_t len)
185 addr = mmap(addr, len, OS_VM_PROT_ALL,
186 MAP_PRIVATE | MAP_FILE | MAP_FIXED, fd, (off_t) offset);
188 if (addr == (os_vm_address_t) - 1)
195 os_flush_icache(os_vm_address_t address, os_vm_size_t length)
200 os_protect(os_vm_address_t address, os_vm_size_t length, os_vm_prot_t prot)
202 if (mprotect(address, length, prot) == -1)
209 in_range_p(os_vm_address_t a, lispobj sbeg, size_t slen)
211 char *beg = (char *) sbeg;
212 char *end = (char *) sbeg + slen;
213 char *adr = (char *) a;
215 return adr >= beg && adr < end;
219 valid_addr(os_vm_address_t addr)
221 os_vm_address_t newaddr;
223 newaddr = os_trunc_to_page(addr);
225 if (in_range_p(addr, READ_ONLY_SPACE_START, read_only_space_size)
226 || in_range_p(addr, STATIC_SPACE_START, static_space_size)
227 || in_range_p(addr, DYNAMIC_0_SPACE_START, dynamic_space_size)
229 || in_range_p(addr, DYNAMIC_1_SPACE_START, dynamic_space_size)
231 || in_range_p(addr, CONTROL_STACK_START, control_stack_size)
232 || in_range_p(addr, BINDING_STACK_START, binding_stack_size))
239 protection_violation_handler(HANDLER_ARGS)
242 if (os_control_stack_overflow(code->si_addr, context))
247 if (code->si_code == PROTECTION_VIOLATION_CODE) {
248 if (gc_write_barrier(code->si_addr)) {
254 interrupt_handle_now(signal, code, context);
258 * Restore the exception flags cleared by the kernel. These bits must
259 * be set for Lisp to determine which exception caused the signal. At
260 * present, there is no way to distinguish underflow exceptions from
261 * denormalized operand exceptions. An underflow exception is assumed
262 * if the subcode is FPE_FLTUND.
265 sigfpe_handler(HANDLER_ARGS)
267 ucontext_t *ucontext = (ucontext_t *) context;
268 union savefpu *sv = (union savefpu *) ucontext->uc_mcontext.mc_fpstate;
269 int fpformat = ucontext->uc_mcontext.mc_fpformat;
270 unsigned char trap = 0;
272 switch (code->si_code) {
273 case FPE_FLTDIV: /* ZE */
276 case FPE_FLTOVF: /* OE */
279 case FPE_FLTUND: /* DE or UE */
282 case FPE_FLTRES: /* PE */
285 case FPE_FLTINV: /* IE */
292 sv->sv_xmm.sv_env.en_sw |= trap;
295 sv->sv_87.sv_env.en_sw |= trap;
298 interrupt_handle_now(signal, code, context);
302 os_install_interrupt_handlers(void)
304 interrupt_install_low_level_handler(PROTECTION_VIOLATION_SIGNAL,
305 protection_violation_handler);
306 interrupt_install_low_level_handler(SIGFPE, sigfpe_handler);
310 os_dlsym(const char *sym_name, lispobj lib_list)
312 static void *program_handle;
315 program_handle = dlopen((void *) 0, RTLD_LAZY | RTLD_GLOBAL);
317 if (lib_list != NIL) {
318 lispobj lib_list_head;
320 for (lib_list_head = lib_list;
321 lib_list_head != NIL; lib_list_head = CONS(lib_list_head)->cdr) {
322 struct cons *lib_cons = CONS(CONS(lib_list_head)->car);
323 struct sap *dlhandle = (struct sap *)PTR(lib_cons->car);
324 void *sym_addr = dlsym((void *)dlhandle->pointer, sym_name);
330 return dlsym(program_handle, sym_name);
334 restore_fpu(ucontext_t *scp)
336 union savefpu *sv = (union savefpu *) scp->uc_mcontext.mc_fpstate;
337 int fpformat = scp->uc_mcontext.mc_fpformat;
338 struct env87 *env_87 = &sv->sv_87.sv_env;
339 struct envxmm *env_xmm = &sv->sv_xmm.sv_env;
342 if (fpformat == _MC_FPFMT_XMM) {
344 } else if (fpformat == _MC_FPFMT_387) {
345 cw = env_87->en_cw & 0xffff;
346 } else { /* _MC_FPFMT_NODEV */
349 DPRINTF(0, (stderr, "restore_fpu: cw = %08x\n", (int)cw));
350 __asm__ __volatile__ ("fldcw %0"::"m"(*&cw));
353 if (fpu_mode == SSE2) {
354 u_int32_t mxcsr = env_xmm->en_mxcsr;
356 DPRINTF(0, (stderr, "restore_fpu: mxcsr (raw) = %04x\n", mxcsr));
357 __asm__ __volatile__ ("ldmxcsr %0"::"m"(*&mxcsr));