Searched refs:dealloc (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
| H A D | alloc.h | 51 void dealloc(struct heap *heap, void *ptr, word_t size);
|
| H A D | alloc.c | 130 dealloc(struct heap *heap, void *ptr, word_t size) function
175 dealloc(heap, ptr, size);
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/ |
| H A D | alloc_lite.h | 55 void dealloc(struct heap *heap, void *ptr, word_t size);
|
| H A D | alloc_lite.c | 153 dealloc(heap, store, size);
159 dealloc(struct heap* heap, void* ptr, word_t size) function
201 dealloc(heap, ptr, size);
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | Global.h | 177 void clear (bool dealloc = false);
225 void vec<T>::clear(bool dealloc) { argument
229 if (dealloc) xfree(data), data = NULL, cap = 0; } }
|
Completed in 43 milliseconds