Searched defs:kill (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/dev/
H A DdevScript.sml42 val kill = (fn theorem => K ALL_TAC theorem); value
[all...]
H A DcomposeScript.sml40 val kill = (fn theorem => K ALL_TAC theorem); value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DUnix.sml40 val kill : ('a, 'b) proc * signal -> unit value
62 val kill : ('a, 'b) proc * signal -> unit value
78 fun kill({pid, ... }: ('a, 'b) proc, signal) = function
H A DThread.sml92 val kill: thread -> unit value
414 fun kill(t: thread) = function
H A DPosix.sml86 val kill : signal value
135 val kill : killpid_arg * signal -> unit value
411 val kill : int value
744 and kill = fromWord(getConst 50) value
796 fun kill (K_PROC pid, si) = doCall(6,(pid, si)) function
1460 and kill = SysWord.toInt(getConst 76) value

Completed in 76 milliseconds