Searched defs:exec (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/
H A DSysteml.sig7 val exec : string * string list -> 'a value
H A Dunix-systeml.sml38 fun exec (comm, args) = OS.Process.exit (systeml (comm::tl args)) function
H A DwinNT-systeml.sml28 fun exec (comm, args) = OS.Process.exit (systeml (comm::tl args)) function
H A DregexpMatch.sml348 fun exec ss = Substring.foldl step start ss function
/seL4-l4v-master/HOL4/src/0/
H A DNet.sml151 | _ => let fun exec [] (LEAF L) = LEAF(p::L) function
/seL4-l4v-master/HOL4/src/experimental-kernel/
H A DNet.sml148 | _ => let fun exec [] (LEAF L) = LEAF(p::L) function
/seL4-l4v-master/HOL4/src/parse/
H A DFCNet.sml139 | _ => let fun exec [] (LEAF L) = LEAF(p::L) function
/seL4-l4v-master/HOL4/tools-poly/Holmake/
H A Dunix-systeml.sml111 fun exec (x as (comm,args)) = function
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Dfile_readerLib.sml27 val exec = OS.Process.system value
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dvspace.c69 uint8_t exec = read; local
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml109 val exec : string * string list -> 'a value
837 fun exec(p, args) = function

Completed in 75 milliseconds