Searched defs:mm (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A DarmAssemblerLib.sml250 val mm = ref 0 value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8AssemblerLib.sml211 val mm = ref 0 value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibStream.sml56 fun mm _ NIL = NIL function
126 fun mm _ NIL = NIL function
/seL4-l4v-10.1.1/HOL4/src/ring/src/
H A Dquote.sml162 val mm = mk_map vmdb () value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A DfuncCall.sml279 fun mm () = function
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DStream.sml66 fun mm _ NIL = NIL function
147 fun mm _ NIL = NIL function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/
H A Dm0AssemblerLib.sml237 val mm = ref 0 value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DStream.sml65 fun mm s Nil = g s function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DStream.sml65 fun mm s Nil = g s function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/
H A Dlisp_finalScript.sml93 fun mm x y = get_match_term x = get_match_term y function
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DGdiBase.sml286 let val (mm, size, hMF) = loadMfp v in {mm=mm, size=size, hMF=hMF} end value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dhuge_struct.c55 uint16_t mm; member in struct:BigStruct
/seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/
H A DhelperLib.sml917 fun mm x y = get_match_term x = get_match_term y function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Ddlmalloc.c3218 char* mm = (char*)(DIRECT_MMAP(mmsize)); local

Completed in 304 milliseconds