imports/signal.lcl

   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