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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dallocman.h339 int allocman_configure_cspace_reserve(allocman_t *alloc, size_t num);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c503 int allocman_configure_cspace_reserve(allocman_t *alloc, size_t num) { function
H A Dbootstrap.c731 error = allocman_configure_cspace_reserve(alloc, 30);

Completed in 43 milliseconds