2
* Copyright (c) 2014 Nicira, Inc.
3
* Copyright (c) 2014 Netronome.
5
* Licensed under the Apache License, Version 2.0 (the "License");
6
* you may not use this file except in compliance with the License.
7
* You may obtain a copy of the License at:
9
* http://www.apache.org/licenses/LICENSE-2.0
11
* Unless required by applicable law or agreed to in writing, software
12
* distributed under the License is distributed on an "AS IS" BASIS,
13
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14
* See the License for the specific language governing permissions and
15
* limitations under the License.
27
struct id_pool *id_pool_create(uint32_t base, uint32_t n_ids);
28
void id_pool_destroy(struct id_pool *);
29
bool id_pool_alloc_id(struct id_pool *, uint32_t *id);
30
void id_pool_free_id(struct id_pool *, uint32_t id);
31
void id_pool_add(struct id_pool *, uint32_t id);
37
* Pool of unique 32bit ids.
43
* APIs are not thread safe.
45
#endif /* id-pool.h */