Searched defs:signal (Results 1 - 9 of 9) sorted by relevance

/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
H A DUnix.sml24 type signal type
50 type signal = Posix.Signal.signal type
73 type signal = Posix.Signal.signal type
[all...]
H A DThread.sml174 val signal: conditionVar -> unit value
662 fun signal cv = signalOrBroadcast(cv, wakeOne) function
H A DPosix.sml556 where type signal = Signal.signal type
731 type signal = int type
761 type signal = Signal.signal type
[all...]
/seL4-l4v-10.1.1/l4v/misc/regression/
H A Dcpuusage.py30 import signal namespace
H A Drun_tests.py31 import signal namespace
/seL4-l4v-10.1.1/l4v/misc/autostop/
H A Dstop.c308 int parse_signal(const char *input, int *signal, const char **signame) argument
352 int signal; local
[all...]
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DFuture.sml126 fun signal cond = (*requires SYNCHRONIZED*) function
[all...]
/seL4-l4v-10.1.1/graph-refine/
H A Dsolver.py12 import signal namespace

Completed in 110 milliseconds