Searched refs:block_size (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c239 word_t block_size = cap_untyped_cap_get_capBlockSize(prev_cap); local
251 (unat \<acute>block_size))" */
253 (unat \<acute>block_size))" */
255 if (deviceMemory || block_size < chunk) {
257 clearMemory(regionBase, block_size);
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/
H A Ddocument.scala243 private val block_size = 256
260 next_block += Commands.block_size
271 val (cmd0, start0) = full_index._1(i / Commands.block_size)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/
H A Ddocument.scala243 private val block_size = 256
260 next_block += Commands.block_size
271 val (cmd0, start0) = full_index._1(i / Commands.block_size)

Completed in 92 milliseconds