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

/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c213 size_t rumprun_pages = rumprun_size / BIT(page_size_bits); local
214 ZF_LOGI("num pages %zd with size: %d bits\n", rumprun_pages, page_size_bits);
215 if (default_vspace_new_pages_config(rumprun_pages, page_size_bits, &config)) {

Completed in 30 milliseconds