Searched refs:signal (Results 1 - 25 of 58) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsighandler.h33 #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 Ddiagnostics.cpp52 #include <signal.h>
/seL4-l4v-10.1.1/l4v/misc/autostop/
H A Dstop.c36 #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 Dkillbig.c30 #include <signal.h>
132 /* Determine which signal to send. */
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DSignal.sml24 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 DUnix.sml24 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 DPosix.sml76 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 Dtcooper.c8 #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 Dbash.scala106 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 Dbash.scala106 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 Dregn.ml26 % 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 DMain.C23 #include <signal.h>
260 signal(SIGINT,SIGINT_handler);
261 signal(SIGHUP,SIGINT_handler);
/seL4-l4v-10.1.1/isabelle/Admin/bash_process/
H A Dbash_process.c6 #include <signal.h>
/seL4-l4v-10.1.1/l4v/isabelle/Admin/bash_process/
H A Dbash_process.c6 #include <signal.h>
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DFuture.sml126 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 Dproof6.ml61 % 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 Dvalues.ml123 % Define what is it is for a signal to be stable from times t1 to t2 %
H A Dnext.ml8 % 't2' to a earlier time 't1' as the next time the signal 'sig' is %
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dbuild.sml63 | W_SIGNALED sg => "with signal " ^
65 | W_STOPPED sg => "stopped with signal " ^
/seL4-l4v-10.1.1/l4v/misc/regression/
H A Dcpuusage.py30 import signal namespace
H A Drun_tests.py31 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 DdffScript.sml42 (* Rise s t : signal s rises ``at`` time t. *)
H A DnextScript.sml38 (* when the signal sig is true. *)
/seL4-l4v-10.1.1/HOL4/examples/dev/
H A Dvsynth.sml777 ("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 Dfor_ndScript.sml32 - Getchar returns -1 to signal the end of file. *)

Completed in 217 milliseconds

123