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

/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/
H A Dcustom_simple.h125 int custom_get_region_list(custom_simple_t *custom_simple, int num_regions, pmem_region_t *regions);
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dsimple.c183 int custom_get_region_list(custom_simple_t *custom_simple, int num_regions, pmem_region_t *regions) function
H A Dentry.c172 error = custom_get_region_list(&env->custom_simple, num_regions, regions);

Completed in 34 milliseconds