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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dallocman.h363 int allocman_configure_max_freed_memory_chunks(allocman_t *alloc, size_t num);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c511 int allocman_configure_max_freed_memory_chunks(allocman_t *alloc, size_t num) { function
H A Dbootstrap.c723 error = allocman_configure_max_freed_memory_chunks(alloc, 20);

Completed in 35 milliseconds