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 46 milliseconds