| 5543 | pool_free(pool, (void *)n); |
| 5544 | } |
| 5545 | static void tdestroy(const void *root, void (*free_node)(void *)) |
| 5546 | { |
| 5547 | struct node_s *n = (struct node_s *)root; |
| 5548 | tree_destroy(NULL, n, free_node); |
| 5549 | } |
| 5550 | static void pool_tdestroy(struct malloc_pool_s *pool, const void *root, |
| 5551 | void (*free_node)(void *)) |
| 5552 | { |