0.7.1.20:
[sbcl.git] / src / runtime / alpha-linux-os.c
1 /*
2  * This is the Compaq/Digital Alpha Linux incarnation of
3  * arch-dependent OS-dependent routines. See also "linux-os.c".  */
4
5 /*
6  * This software is part of the SBCL system. See the README file for
7  * more information.
8  *
9  * This software is derived from the CMU CL system, which was
10  * written at Carnegie Mellon University and released into the
11  * public domain. The software is in the public domain and is
12  * provided with absolutely no warranty. See the COPYING and CREDITS
13  * files for more information.
14  */
15
16 /* These header files were lifted wholesale from linux-os.c, some may
17  * be redundant. -- Dan Barlow ca. 2001-05-01 */
18 #include <stdio.h>
19 #include <sys/param.h>
20 #include <sys/file.h>
21 #include "./signal.h"
22 #include "os.h"
23 #include "arch.h"
24 #include "globals.h"
25 #include "interrupt.h"
26 #include "interr.h"
27 #include "lispregs.h"
28 #include "sbcl.h"
29 #include <sys/socket.h>
30 #include <sys/utsname.h>
31
32 #include <sys/types.h>
33 #include <signal.h>
34 #include <sys/time.h>
35 #include <sys/stat.h>
36 #include <unistd.h>
37
38 #include "validate.h"
39 size_t os_vm_page_size;
40
41 #if defined GENCGC              /* unlikely ... */
42 #error SBCL Alpha does not work with the GENCGC
43 #include "gencgc.h"
44 #endif
45
46 os_context_register_t   *
47 os_context_register_addr(os_context_t *context, int offset)
48 {
49     return &context->uc_mcontext.sc_regs[offset];
50 }
51
52 os_context_register_t *
53 os_context_float_register_addr(os_context_t *context, int offset)
54 {
55     return &context->uc_mcontext.sc_fpregs[offset];
56 }
57
58 os_context_register_t *
59 os_context_pc_addr(os_context_t *context)
60 {
61     return &((context->uc_mcontext).sc_pc);
62 }
63
64 sigset_t *
65 os_context_sigmask_addr(os_context_t *context)
66 {
67     return &context->uc_sigmask;
68 }
69
70 void os_flush_icache(os_vm_address_t address, os_vm_size_t length)
71 {
72     asm volatile ("imb" : : : "memory" );
73 }