Barrelfish
bulk_pool_id Struct Reference

Detailed Description

this struct represents the pool id which consists of the domain id of the allocator and the domain local allocation counter TODO: ensure system wide uniquenes also between different machines


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