/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | sighandler.h | 33 #include <signal.h> 43 // Set up per-thread signal data: basically signal stack. 48 extern unsigned receivedSignalCount; // Incremented each time we get a signal
|
H A D | diagnostics.cpp | 52 #include <signal.h>
|
/seL4-l4v-10.1.1/l4v/misc/autostop/ |
H A D | stop.c | 36 #include <signal.h> 307 /* Determine what signal the given string parses to. */ 308 int parse_signal(const char *input, int *signal, const char **signame) argument 311 *signal = SIGABRT; 317 *signal = SIGSTOP; 323 *signal = SIGTERM; 329 *signal = SIGKILL; 341 "Monitors the system for high load and sends a signal to (hopefully)\n" 352 int signal; local 356 /* Determine which signal t [all...] |
H A D | killbig.c | 30 #include <signal.h> 132 /* Determine which signal to send. */
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | Signal.sml | 24 val signal: int * sig_handle -> sig_handle value 33 fun signal(s, cmd) = function 55 (* This call to the RTS returns either a pair of a signal 72 SigHandle (handler, signal) => (handler signal handle _ => ()) 84 (Thread.fork(sigThread, []); ()) handle Thread _ => print "Unable to create signal thread\n"
|
H A D | Unix.sml | 24 type signal type 28 | W_SIGNALED (* sic *) of signal 29 | W_STOPPED of signal 40 val kill : ('a, 'b) proc * signal -> unit 50 type signal = Posix.Signal.signal type 62 val kill : ('a, 'b) proc * signal -> unit 73 type signal = Posix.Signal.signal type 78 fun kill({pid, ... }: ('a, 'b) proc, signal) [all...] |
H A D | Posix.sml | 76 eqtype signal 77 val toWord : signal -> SysWord.word 78 val fromWord : SysWord.word -> signal 79 val abrt : signal 80 val alrm : signal 81 val bus : signal 82 val fpe : signal 83 val hup : signal 84 val ill : signal 85 val int : signal 556 where type signal = Signal.signal type 731 type signal = int type 761 type signal = Signal.signal type [all...] |
/seL4-l4v-10.1.1/HOL4/src/integer/testing/ |
H A D | tcooper.c | 8 #include <signal.h> 76 signal(SIGINT, kill_child_exit); 114 fprintf(stderr, "Child was stopped by signal %d\n",
|
/seL4-l4v-10.1.1/isabelle/src/Pure/System/ |
H A D | bash.scala | 106 private def kill(signal: String): Boolean = 108 Isabelle_System.kill(signal, pid) 111 private def multi_kill(signal: String): Boolean = 116 if (kill(signal)) {
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/ |
H A D | bash.scala | 106 private def kill(signal: String): Boolean = 108 Isabelle_System.kill(signal, pid) 111 private def multi_kill(signal: String): Boolean = 116 if (kill(signal)) {
|
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/mos-count/ |
H A D | regn.ml | 26 % Propagation of a signal through the register: % 85 % The following 12 theorems establish that the output signal at time % 86 % "t+4" is the value of the input signal at time "t" following the %
|
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Main.C | 23 #include <signal.h> 260 signal(SIGINT,SIGINT_handler); 261 signal(SIGHUP,SIGINT_handler);
|
/seL4-l4v-10.1.1/isabelle/Admin/bash_process/ |
H A D | bash_process.c | 6 #include <signal.h>
|
/seL4-l4v-10.1.1/l4v/isabelle/Admin/bash_process/ |
H A D | bash_process.c | 6 #include <signal.h>
|
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/ |
H A D | Future.sml | 126 fun signal cond = (*requires SYNCHRONIZED*) function 127 ConditionVar.signal cond; 211 val _ = if maximal then () else signal work_available; 223 signal work_available; 229 | some => (signal work_available; some)) 303 else signal work_available; 314 signal work_available); 333 signal work_available; true) 363 val _ = signal work_available; 438 val _ = if minimal then signal work_availabl [all...] |
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/computer/ |
H A D | proof6.ml | 61 % relationship between a signal at the microcode level time scale % 62 % and another signal at the instruction set level time scale which % 63 % just samples the microcode level time scale signal when 'sig', % 64 % a boolean signal also at the microcode level time scale, is true. % 65 % 'sig' will always be the signal 'ready'. The definition of 'abs' %
|
H A D | values.ml | 123 % Define what is it is for a signal to be stable from times t1 to t2 %
|
H A D | next.ml | 8 % 't2' to a earlier time 't1' as the next time the signal 'sig' is %
|
/seL4-l4v-10.1.1/HOL4/tools-poly/ |
H A D | build.sml | 63 | W_SIGNALED sg => "with signal " ^ 65 | W_STOPPED sg => "stopped with signal " ^
|
/seL4-l4v-10.1.1/l4v/misc/regression/ |
H A D | cpuusage.py | 30 import signal namespace
|
H A D | run_tests.py | 31 import signal namespace 89 p.send_signal(signal.SIGINT) 114 p.send_signal(signal.SIGKILL)
|
/seL4-l4v-10.1.1/HOL4/examples/dev/dff/ |
H A D | dffScript.sml | 42 (* Rise s t : signal s rises ``at`` time t. *)
|
H A D | nextScript.sml | 38 (* when the signal sig is true. *)
|
/seL4-l4v-10.1.1/HOL4/examples/dev/ |
H A D | vsynth.sml | 777 ("Warning:\n Process.system reports failure signal returned by\n " 784 ("Warning:\n Process.system reports failure signal returned by\n " 799 ("Warning:\n Process.system reports failure signal returned by\n " 815 ("Warning:\n Process.system reports failure signal returned by\n " 830 ("Warning:\n Process.system reports failure signal returned by\n " 846 ("Warning:\n Process.system reports failure signal returned by\n "
|
/seL4-l4v-10.1.1/HOL4/examples/fun-op-sem/for/ |
H A D | for_ndScript.sml | 32 - Getchar returns -1 to signal the end of file. *)
|