Barrelfish
Data Fields
slot_prealloc Struct Reference

Instance data for pre-allocating slot allocator for 2 level cspace. More...

+ Collaboration diagram for slot_prealloc:

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 mmmm
 RAM allocator to allocate space for new cnodes.
 

Detailed Description

Instance data for pre-allocating slot allocator for 2 level cspace.


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