Searched defs:exit (Results 1 - 18 of 18) sorted by relevance

/seL4-l4v-master/seL4/include/kernel/
H A Dtraps.h36 timestamp_t exit = timestamp(); local
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DOptions.sig77 val exit : allOptions -> optionExit -> 'exit value
H A DOptions.sml165 fun exit (allopts : allOptions) (optexit : optionExit) = function
H A Dmetis.sml100 fun exit x : unit = Options.exit programOptions x; function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DOptions.sig77 val exit : allOptions -> optionExit -> 'exit value
H A DOptions.sml165 fun exit (allopts : allOptions) (optexit : optionExit) = function
H A Dmetis.sml100 fun exit x : unit = Options.exit programOptions x; function
/seL4-l4v-master/HOL4/polyml/basis/
H A DUnix.sml41 val exit : Word8.word -> 'a value
63 val exit : Word8.word -> 'a value
217 fun exit w = OS.Process.exit(toStatus (W_EXITSTATUS w)) function
H A DThread.sml137 val exit: unit -> unit value
408 val exit: unit -> unit = RunCall.rtsCallFull0 "PolyThreadKillSelf" value
H A DWindows.581.sml145 val exit : Status.status -> 'a value
H A DWindows.sml145 val exit : Status.status -> 'a value
856 fun exit (s: Status.status) = function
H A DOS.sml101 val exit : status -> 'a value
1132 fun exit (n: int) = function
[all...]
H A DPosix.sml131 val exit : Word8.word -> 'a value
848 fun exit w = function
/seL4-l4v-master/HOL4/examples/RL_Environment/
H A DRL_Environment.sml
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A Dcore_decompilerLib.sml384 val exit = (all_distinct o map last o filter (not o is_loop)) paths value
/seL4-l4v-master/HOL4/src/portableML/
H A DPortable.sig220 val exit: unit -> 'a value
H A DPortable.sml602 fun exit() = Process.exit Process.success function
/seL4-l4v-master/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml555 val exit = (all_distinct o map last o filter (not o is_loop)) paths value
575 val exit = diff (all_distinct (append_lists (map snd loops))) entry value
1848 val exit = snd (last loops) value
[all...]

Completed in 225 milliseconds