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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dallocman.h309 int allocman_attach_cspace(allocman_t *alloc, struct cspace_interface cspace);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c216 error = allocman_attach_cspace(alloc, cspace_vka_make_interface(vka));
H A Dbootstrap.c401 error = allocman_attach_cspace(bs->alloc, cspace);
485 error = allocman_attach_cspace(bs->alloc, cspace_single_level_make_interface(cspace));
624 error = allocman_attach_cspace(bs->alloc, cspace_two_level_make_interface(cspace));
H A Dallocman.c462 int allocman_attach_cspace(allocman_t *alloc, struct cspace_interface cspace) { function
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/
H A Dexample_bootstrap.c97 error = allocman_attach_cspace(allocman, cspace_single_level_make_interface(cspace));

Completed in 54 milliseconds