Searched defs:heap (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | VarOrder.h | 39 Heap<VarOrder_lt> heap; member in class:VarOrder
[all...] |
| H A D | Heap.h | 35 vec<int> heap; // heap of ints member in class:Heap
[all...] |
| /seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/ |
| H A D | alloc_lite.h | 38 struct heap { struct
[all...] |
| H A D | alloc_simp.c | 24 struct heap { struct
30 init_heap (struct heap* heap, word_t max){ argument
37 alloc(struct heap* heap, word_t bytes){ argument
[all...] |
| H A D | alloc_lite.c | 72 ualloc(struct heap* heap, word_t size) argument
89 alloc(struct heap* heap, word_t size) argument
146 udealloc(struct heap* heap, void* ptr) argument
159 dealloc(struct heap* heap, void* ptr, word_t size) argument
197 add_mem_pool(struct heap *heap, void *ptr, word_t size) argument
[all...] |
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
| H A D | alloc.h | 38 struct heap { struct
|
| H A D | alloc.c | 69 alloc(struct heap *heap, word_t size, word_t alignment_bits) argument
130 dealloc(struct heap *heap, void *ptr, word_t size) argument
171 add_mem_pool(struct heap *heap, voi argument
[all...] |
Completed in 39 milliseconds