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

/seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/
H A Dtwo_level.h80 static inline cspace_interface_t cspace_two_level_make_interface(cspace_two_level_t *cspace) { function
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/
H A Dtwo_level.h80 static inline cspace_interface_t cspace_two_level_make_interface(cspace_two_level_t *cspace) { function
/seL4-refos-master/libs/libsel4allocman/src/
H A Dbootstrap.c624 error = allocman_attach_cspace(bs->alloc, cspace_two_level_make_interface(cspace));
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c624 error = allocman_attach_cspace(bs->alloc, cspace_two_level_make_interface(cspace));

Completed in 42 milliseconds