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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dallocman.h351 int allocman_configure_max_freed_slots(allocman_t *alloc, size_t num);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c507 int allocman_configure_max_freed_slots(allocman_t *alloc, size_t num) { function
H A Dbootstrap.c719 error = allocman_configure_max_freed_slots(alloc, 10);

Completed in 77 milliseconds