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

/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_lite.c81 word_t* store = chunk; local
150 word_t* store = ptr - 8; local
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DResource.sml136 val store = malloc n value
H A DColor.sml
H A DMessage.sml[all...]
H A DBase.sml258 fun store(m, v) = storeI(m, rep v) function
281 fun store(m: voidStar, i: Word8.word) = (set8(m, 0w0, i); noFree) function
288 fun store(m: voidStar, i: Word.word) = (set16(m, 0w0, i); noFree) function
295 fun store(m: voidStar, i: Word32.word) = (set32(m, 0w0, i); noFree) function
947 fun store(v: voidStar, s: string) = function
[all...]
H A DGdiBase.sml
H A DCommonDialog.sml
/seL4-l4v-10.1.1/HOL4/src/1/
H A DThmSetData.sml103 fun store s = let function
177 val store = #2 (Binarymap.find(!data_map,name)) value
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DDefn.sig52 val store : string * thm * thm -> unit value
H A DDefn.sml442 fun store(stem,eqs,ind) = function
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.c465 char *store; local
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/step/
H A Driscv_stepScript.sml830 val store = class `(rs1, rs2, offs)` value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DForeign.sml846 fun store(m: voidStar, i: int) = function
856 fun store(m: voidStar, i: char) = function
866 fun store(m: voidStar, i: Word8.word) = (set8(m, 0w0, i); noFree) function
874 fun store(m: voidStar, i: int) = function
894 fun store(m: voidStar, i: int) = function
903 fun store(m: voidStar, i: int) = function
923 fun store(m: voidStar, i: int) = function
932 fun store(m: voidStar, i: LargeInt.int) = function
952 fun store(m: voidStar, i: int) = function
961 fun store(m: voidStar, i: LargeInt.int) = function
1063 fun store(m: voidStar, v: real) = (setFloat(m, 0w0, v); noFree) function
1071 fun store(m: voidStar, v: real) = (setDouble(m, 0w0, v); noFree) function
1148 fun store(v: voidStar, s: string) = function
1193 fun store(v: voidStar, s: Word8Vector.vector) = function
1228 and store (x, (a, b)) = function
1251 and store (x, (a, b, c)) = function
1276 and store (x, (a, b, c, d)) = function
1307 and store (x, (a, b, c, d, e)) = function
1343 and store (x, (a, b, c, d, e, f)) = function
1381 and store (x, (a, b, c, d, e, f, g)) = function
1423 and store (x, (a, b, c, d, e, f, g, h)) = function
1471 and store (x, (a, b, c, d, e, f, g, h, i)) = function
1522 and store (x, (a, b, c, d, e, f, g, h, i, j)) = function
1581 and store (x, (a, b, c, d, e, f, g, h, i, j, k)) = function
1645 and store (x, (a, b, c, d, e, f, g, h, i, j, k, l)) = function
1712 and store (x, (a, b, c, d, e, f, g, h, i, j, k, l, m)) = function
1785 and store (x, (a, b, c, d, e, f, g, h, i, j, k, l, m, n)) = function
1861 and store (x, (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)) = function
1939 and store (x, (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)) = function
2022 and store (x, (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)) = function
2109 and store (x, (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)) = function
2198 and store (x, (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)) = function
2290 and store (x, (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)) = function
2333 fun store(m, ref s) = function
2364 fun store(m, s) = function
2397 fun store(v: voidStar, s: 'a vector) = function
2422 fun store(m, s) = function
2453 fun store(m, s) = function
3361 and store(v, cl: ('a->'b) closure) = (Memory.setAddress(v, 0w0, cl()); fn () => ()) function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml10796 val store = value

Completed in 337 milliseconds