]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
2 | ** signal.h | |
3 | */ | |
4 | ||
5 | constant int NSIG; | |
6 | ||
7 | constant int SIGHUP; | |
8 | constant int SIGINT; | |
9 | constant int SIGQUIT; | |
10 | constant int SIGILL; | |
11 | ||
12 | ||
13 | constant int ILL_RESAD_FAULT; | |
14 | constant int ILL_PRIVIN_FAULT; | |
15 | constant int ILL_RESOP_FAULT; | |
16 | constant int ILL_VECOP_FAULT; | |
17 | constant int ILL_VECINST_FAULT; | |
18 | ||
19 | ||
20 | ||
21 | ||
22 | constant int SIGTRAP; | |
23 | constant int SIGIOT; | |
24 | constant int SIGEMT; | |
25 | constant int SIGFPE; | |
26 | ||
27 | ||
28 | constant int FPE_INTOVF_TRAP; | |
29 | constant int FPE_INTDIV_TRAP; | |
30 | constant int FPE_FLTOVF_TRAP; | |
31 | constant int FPE_FLTDIV_TRAP; | |
32 | constant int FPE_FLTUND_TRAP; | |
33 | constant int FPE_DECOVF_TRAP; | |
34 | constant int FPE_SUBRNG_TRAP; | |
35 | constant int FPE_FLTOVF_FAULT; | |
36 | constant int FPE_FLTDIV_FAULT; | |
37 | constant int FPE_FLTUND_FAULT; | |
38 | ||
39 | ||
40 | ||
41 | constant int FPE_VECTOR ; | |
42 | constant int VFPE_FLTUND_TRAP ; | |
43 | constant int VFPE_FLTDIV_TRAP ; | |
44 | constant int VFPE_FLTRSV_TRAP ; | |
45 | constant int VPFE_FLTOVF_FAULT ; | |
46 | constant int VFPE_INTOVF_TRAP ; | |
47 | ||
48 | ||
49 | constant int SIGKILL ; | |
50 | constant int SIGBUS ; | |
51 | constant int SIGSEGV ; | |
52 | constant int SIGSYS ; | |
53 | constant int SIGPIPE ; | |
54 | constant int SIGALRM ; | |
55 | constant int SIGTERM ; | |
56 | ||
57 | ||
58 | constant int TERM_VECT_HARD ; | |
59 | constant int TERM_VECT_TOOMANY ; | |
60 | ||
61 | ||
62 | constant int SIGURG ; | |
63 | constant int SIGSTOP ; | |
64 | constant int SIGTSTP ; | |
65 | constant int SIGCONT ; | |
66 | constant int SIGCHLD ; | |
67 | constant int SIGTTIN ; | |
68 | constant int SIGTTOU ; | |
69 | constant int SIGIO ; | |
70 | constant int SIGXCPU ; | |
71 | constant int SIGXFSZ ; | |
72 | constant int SIGVTALRM ; | |
73 | constant int SIGPROF ; | |
74 | constant int SIGWINCH ; | |
75 | constant int SIGLOST ; | |
76 | constant int SIGUSR1 ; | |
77 | constant int SIGUSR2 ; | |
78 | ||
79 | constant int SIGCLD ; | |
80 | constant int SIGABRT; | |
81 | ||
82 | constant int BRK_USERBP ; | |
83 | constant int BRK_KERNELBP ; | |
84 | constant int BRK_ABORT ; | |
85 | constant int BRK_BD_TAKEN ; | |
86 | constant int BRK_BD_NOTTAKEN ; | |
87 | constant int BRK_SSTEPBP ; | |
88 | constant int BRK_OVERFLOW ; | |
89 | constant int BRK_DIVZERO; | |
90 | constant int BRK_RANGE ; | |
91 | constant int BRK_STACKOVERFLOW; | |
92 | ||
93 | typedef long sig_atomic_t; | |
94 | typedef int sigset_t; | |
95 | ||
96 | typedef struct sigvec { | |
97 | void (*sv_handler)(); | |
98 | sigset_t sv_mask; | |
99 | int sv_flags; | |
100 | } __sigvec; | |
101 | ||
102 | typedef struct sigaction { | |
103 | void (*sa_handler)(); | |
104 | sigset_t sa_mask; | |
105 | int sa_flags; | |
106 | } __sigaction; | |
107 | ||
108 | constant int SV_ONSTACK ; | |
109 | constant int SV_INTERRUPT ; | |
110 | ||
111 | constant int SA_NOCLDSTOP ; | |
112 | ||
113 | constant int SV_OLDSIG ; | |
114 | constant int sv_onstack ; | |
115 | ||
116 | constant int SIG_BLOCK ; | |
117 | constant int SIG_UNBLOCK ; | |
118 | constant int SIG_SETMASK ; | |
119 | ||
120 | typedef struct sigstack { | |
121 | char *ss_sp; | |
122 | int ss_onstack; | |
123 | } __sigstack ; | |
124 | ||
125 | typedef struct sigcontext { | |
126 | int sc_onstack; | |
127 | int sc_mask; | |
128 | int sc_pc; | |
129 | int sc_regs[32]; | |
130 | int sc_mdlo; | |
131 | int sc_mdhi; | |
132 | int sc_ownedfp; | |
133 | int sc_fpregs[32]; | |
134 | int sc_fpc_csr; | |
135 | int sc_fpc_eir; | |
136 | int sc_cause; | |
137 | int sc_badvaddr; | |
138 | int sc_badpaddr; | |
139 | } __sigcontext; | |
140 | ||
141 | typedef void(*__scp)(int); | |
142 | ||
143 | constant __scp BADSIG; | |
144 | constant __scp SIG_ERR; | |
145 | constant __scp SIG_DFL; | |
146 | constant __scp SIG_IGN; | |
147 | ||
148 | typedef int pid_t; | |
149 | ||
150 | /* | |
151 | void (*signal(int __sig, void(*__func)(int)))(int) { ensures true; } | |
152 | */ | |
153 | int raise( int __sig ) { ensures true; } | |
154 | int kill( pid_t __pid, int __sig ) { ensures true; } | |
155 | int sigemptyset( sigset_t *__set ) { ensures true; } | |
156 | int sigfillset( sigset_t *__set ) { ensures true; } | |
157 | int sigaddset( sigset_t *__set, int __signo ) { ensures true; } | |
158 | int sigdelset( sigset_t *__set, int __signo ) { ensures true; } | |
159 | int sigismember( sigset_t *__set, int __signo ) { ensures true; } | |
160 | int sigaction( int __sig, struct sigaction *__act, | |
161 | struct sigaction *__oact ) { ensures true; } | |
162 | int sigprocmask( int __how, sigset_t *__set, sigset_t *__oset ) { ensures true; } | |
163 | int sigpending( sigset_t *__set ) { ensures true; } | |
164 | int sigsuspend( sigset_t *__sigmask ) { ensures true; } | |
165 | ||
166 | int sigmask(int m) { ensures true; } /* i think...? */ | |
167 |