12345678910111213141516171819 |
- /*
- * partition_destroy_local_heap.c
- */
- #include <stdlib.h>
- #include "private.h"
- /*-------------------------------------------------------- */
- void
- lub_partition_destroy_local_heap(lub_partition_t * this,
- lub_heap_t * local_heap)
- {
- lub_heap_destroy(local_heap);
- /* now release the memory */
- lub_partition_global_realloc(this, (char **)&local_heap, 0,
- LUB_HEAP_ALIGN_NATIVE);
- }
- /*-------------------------------------------------------- */
|