Searched refs:pool_ids (Results 1 – 1 of 1) sorted by relevance
148 static id_space_t *pool_ids; /* pool ID space */ variable169 pool_ids = id_space_create("pool_ids", POOL_DEFAULT + 1, POOL_MAXID); in pool_init()410 pool->pool_id = *poolid = id_alloc(pool_ids); in pool_pool_create()475 id_free(pool_ids, pool->pool_id); in pool_pool_destroy()