Searched defs:system (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/model/
H A Dsmp.h25 nodeState_t system; member in struct:smpStatedata
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A DHolBdd.tex[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A DHolBdd.tex[all...]
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DBuildCommand.sml459 fun system s = function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibMeson.sml580 val system as {saturated = b, ...} = mk_system parm units slice ruls value
608 val system as {saturated = b, ...} = mk_system parm units slice ruls value
635 val system = mk_system parm units slice (prolog_rules parm thms hyps) value
[all...]
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dtactics.sml84 val system = fn (s:string) => (); value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig207 val system: string -> int value
H A DPortable.sml579 fun system s = if Process.isSuccess (Process.system s) then 0 else 1 function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dbasis2002.sml519 val system : string -> status value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOS.sml99 val system : string -> status value
1133 fun system s = doCall(17, s) function

Completed in 74 milliseconds