Barrelfish
Data Fields
bulk_pool_internal Struct Reference
+ Collaboration diagram for bulk_pool_internal:

Data Fields

struct bulk_pool pool
 pointer to the public interface
 
struct vregion * vregion
 pointer to the vregion of the pool
 
struct capref cnode_cap
 capability of the buffers cnode
 
uint32_t refcnt
 ref count for pool to channel assignments
 
void * impl_data
 pointer to impl specific data
 

Detailed Description

internal representation of a bulk pool


The documentation for this struct was generated from the following file: