Searched refs:block_size (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/projects/musllibc/src/regex/ |
H A D | tre-mem.c | 116 int block_size; local 118 block_size = size * 8; 120 block_size = TRE_MEM_BLOCK_SIZE; 127 l->data = xmalloc(block_size); 141 mem->n = block_size;
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | io.c | 293 ssize_t block_size = simple_get_extended_bootinfo_length(simple, SEL4_BOOTINFO_HEADER_FDT); local 294 if (block_size > 0) { 295 int error = ps_calloc(malloc_ops, 1, block_size, &io_fdt->cookie); 297 ZF_LOGE("Failed to allocate %zu bytes for the FDT", block_size); 303 io_fdt->cookie, block_size); 304 if (copied_size != block_size) { 306 ZF_LOGF_IF(ps_free(malloc_ops, block_size, io_fdt->cookie), 312 ssize_t fdt_size = block_size - sizeof(seL4_BootInfoHeader);
|
/seL4-test-master/kernel/src/object/ |
H A D | untyped.c | 241 word_t block_size = cap_untyped_cap_get_capBlockSize(prev_cap); local 253 (unat \<acute>block_size))" */ 255 (unat \<acute>block_size))" */ 257 if (deviceMemory || block_size < chunk) { 259 clearMemory(regionBase, block_size);
|
Completed in 893 milliseconds