Barrelfish
|
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 | |
internal representation of a bulk pool