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

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dalloc.h53 void add_mem_pool(struct heap *heap, void *ptr, word_t size);
H A Dalloc.c171 add_mem_pool(struct heap *heap, void *ptr, word_t size) function
/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_lite.h57 void add_mem_pool(struct heap *heap, void *ptr, word_t size);
H A Dalloc_lite.c197 add_mem_pool(struct heap *heap, void *ptr, word_t size) function

Completed in 35 milliseconds