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

/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/
H A Dcustom_simple.h121 int custom_simple_vspace_bootstrap_frames(custom_simple_t *custom_simple, vspace_t *vspace,
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dsimple.c108 int custom_simple_vspace_bootstrap_frames(custom_simple_t *custom_simple, vspace_t *vspace, sel4utils_alloc_data_t *alloc_data, function
H A Dentry.c177 error = custom_simple_vspace_bootstrap_frames(&env->custom_simple, &env->vspace, &alloc_data, &env->vka);

Completed in 97 milliseconds