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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dallocman.h375 int allocman_configure_max_freed_untyped_chunks(allocman_t *alloc, size_t num);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c515 int allocman_configure_max_freed_untyped_chunks(allocman_t *alloc, size_t num) { function
H A Dbootstrap.c727 error = allocman_configure_max_freed_untyped_chunks(alloc, 10);

Completed in 32 milliseconds