Barrelfish
|
Memory manager instance data. More...
Data Fields | |
struct slab_allocator | slabs |
Slab allocator used for allocating nodes. | |
slot_alloc_t | slot_alloc |
Slot allocator for allocating cspace. | |
slot_refill_t | slot_refill |
Function to refill slot allocator. | |
void * | slot_alloc_inst |
Opaque instance pointer for slot allocator. | |
struct mmnode * | root |
Root node. | |
genpaddr_t | base |
Base address of root node. | |
enum objtype | objtype |
Type of capabilities stored. | |
uint8_t | sizebits |
Size of root node (in bits) | |
uint8_t | maxchildbits |
Maximum number of children of every node (in bits) | |
bool | delete_chunked |
Delete chunked capabilities if true. | |
Memory manager instance data.
This should be opaque from the perspective of the client, but to allow them to allocate its memory, we declare it in the public header.