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

/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c203 size_t rumprun_size = env->custom_simple.rumprun_memory_size; local
206 page_size_bits = sel4_page_size_bits_for_memory_region(rumprun_size);
211 ZF_LOGW_IF(rumprun_size % BIT(page_size_bits) != 0, "Warning: Memory size is being truncated by: 0x%zx",
212 rumprun_size % BIT(page_size_bits));
213 size_t rumprun_pages = rumprun_size / BIT(page_size_bits);
226 bmk_pgalloc_loadmem((uintptr_t) osend, (uintptr_t) osend + rumprun_size);
228 bmk_memsize = rumprun_size;

Completed in 78 milliseconds