Searched refs:alloc_data (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | simple.c | 108 int custom_simple_vspace_bootstrap_frames(custom_simple_t *custom_simple, vspace_t *vspace, sel4utils_alloc_data_t *alloc_data, argument 115 return sel4utils_bootstrap_vspace(vspace, alloc_data, simple_get_pd(custom_simple->simple), vka, 134 return sel4utils_bootstrap_vspace(vspace, alloc_data, simple_get_pd(custom_simple->simple), vka,
|
H A D | entry.c | 45 static sel4utils_alloc_data_t alloc_data; variable 177 error = custom_simple_vspace_bootstrap_frames(&env->custom_simple, &env->vspace, &alloc_data, &env->vka);
|
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/ |
H A D | custom_simple.h | 122 sel4utils_alloc_data_t *alloc_data,
|
Completed in 31 milliseconds