Searched defs:chunk (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_lite.c70 void *chunk = alloc(heap, size + 8); local
/seL4-l4v-master/seL4/src/object/
H A Duntyped.c243 int chunk = CONFIG_RESET_CHUNK_BITS; local
265 clearMemory(GET_OFFSET_FREE_PTR(regionBase, offset), chunk); local
/seL4-l4v-master/HOL4/examples/dev/sw2/
H A Drefine.sml74 fun chunk s = function
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DSHA1_ML.sml106 val (chunk, nextByteStreamState) = byteReader (byteStreamState, 64) value
[all...]
/seL4-l4v-master/HOL4/help/src-sml/
H A DParseDoc.sml173 val chunk = substring (s,i+n+1,j-(i+n+2)) value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DPrint.sml634 datatype chunk = type
1281 val chunk = FrameChunk topFrame value
1330 val chunk = WordChunk word value
1382 val chunk = BreakChunk break value
1391 val chunk = BreakChunk break value
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DPrint.sml634 datatype chunk = type
1281 val chunk = FrameChunk topFrame value
1330 val chunk = WordChunk word value
1382 val chunk = BreakChunk break value
1391 val chunk = BreakChunk break value
[all...]
/seL4-l4v-master/HOL4/src/tfl/src/
H A DDefn.sml1387 let fun chunk [] acc = acc function

Completed in 195 milliseconds