Searched refs:value_set_node_pool (Results 1 – 1 of 1) sorted by relevance
324 static alloc_pool value_set_node_pool; variable573 value_set_node_t newnode = (value_set_node_t) pool_alloc (value_set_node_pool); in insert_into_set()702 pool_free (value_set_node_pool, node); in set_remove()3792 value_set_node_pool = create_alloc_pool ("Value set nodes", in init_pre()3838 free_alloc_pool (value_set_node_pool); in fini_pre()