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

Data Fields

struct bulk_pool_listnext
 pointer to the next element
 
struct bulk_poolpool
 the pool
 

Detailed Description

a list of bulk pools assigned to a channel, keep the list ordered by the id


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