Lines Matching refs:pool
16 * internal representation of a bulk pool
20 struct bulk_pool pool; ///< pointer to the public interface
22 struct vregion *vregion; ///< pointer to the vregion of the pool
24 uint32_t refcnt; ///< ref count for pool to channel assignments
30 * returns a pointer to the pool with the given id
32 * @param id the id of the pool to look up
34 * @return NULL if the pool is not present in the domain
39 * inserts a pool into the domain global bulk pool list
41 * @param pool the pool to insert
43 errval_t bulk_pool_domain_list_insert(struct bulk_pool *pool);
45 errval_t bulk_pool_domain_list_remove(struct bulk_pool *pool);
48 * compares two bulk pool ids
58 * checks if a pool already has been assigned to that channel
60 * @param pool the bulk pool to check for assignment
63 * @return true: the pool is assigned to this channel
66 uint8_t bulk_pool_is_assigned(struct bulk_pool *pool,
70 * adds a pool to a channel's pool list
72 * @param pool the pool to assing to the channel
73 * @param channel the channel to assign the the pool to
75 errval_t bulk_pool_assign(struct bulk_pool *pool,
79 * removes the pool from the channel's pool list
81 * @param pool the poo to remove
82 * @param channel the channel to remove the pool from
84 errval_t bulk_pool_remove(struct bulk_pool *pool,
89 * gets a pointer to the pool on this channel
91 * @param id the poolid we want the pool
98 * Does the mapping of a pool depending on the trust level. If it is not trusted,
100 * In the trusted case, the pool is backed with the pool cap and mapped.
102 * @param pool the pool to map
104 errval_t bulk_pool_map(struct bulk_pool *pool);
108 * unmaps the entire pool and frees up the entire memory region of the pool.
110 * @param pool the pool to unmap
112 errval_t bulk_pool_unmap(struct bulk_pool *pool);
116 * initializes the buffers for a pool given the struct pool is allocated and
117 * filled with the basic information about the number of buffers in the pool.
119 * @param pool pointer to a pool with the information
121 errval_t bulk_pool_init_bufs(struct bulk_pool *pool);
124 * allocates the data structures for the pool.
126 * @param pool storage for pointer to newly allocated pool
127 * @param buffer_count the number of buffers in the pool
129 * @param id pool id
131 errval_t bulk_pool_alloc_with_id(struct bulk_pool **pool,
137 * allocates the data structures for the pool with new id.
139 * @param pool storage for pointer to newly allocated pool
140 * @param buffer_count the number of buffers in the pool
143 errval_t bulk_pool_alloc(struct bulk_pool **pool,
149 * frees up the resources needed by the pool and does the
152 * @param pool the pool to dealloc
154 errval_t bulk_pool_dealloc(struct bulk_pool *pool);