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

Data Fields

struct bulk_pool_id id
 
lvaddr_t base_address
 
size_t buffer_size
 
enum bulk_trust_level trust
 
struct capref pool_cap
 
size_t num_buffers
 
struct bulk_buffer ** buffers
 

Detailed Description

The bulk pool is a continuous region in (virtual) memory that consists of equally sized buffers.

Field Documentation

lvaddr_t bulk_pool::base_address

the base address of the pool

size_t bulk_pool::buffer_size

the size of a single buffer in bytes

struct bulk_buffer** bulk_pool::buffers

array of the buffers for this pool (pre allocated)

struct bulk_pool_id bulk_pool::id

TODO: find a unique id

size_t bulk_pool::num_buffers

the maximum number of buffers in this pool

struct capref bulk_pool::pool_cap

capability for the entire pool

enum bulk_trust_level bulk_pool::trust

pool trust level depending on first assignment


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