Barrelfish
|
Instance data for pre-allocating slot allocator for 2 level cspace. More...
Data Fields | |
uint8_t | maxslotbits |
Maximum number of slots per allocation. | |
struct { | |
struct capref cap | |
Next cap to allocate. | |
uint64_t free | |
Number of free slots including cap. | |
} | meta [2] |
Metadata for next place from which to allocate slots. | |
uint8_t | current |
Which entry in meta array we are currently allocating from. | |
struct mm * | mm |
RAM allocator to allocate space for new cnodes. | |
Instance data for pre-allocating slot allocator for 2 level cspace.