Barrelfish
|
Files | |
file | internal.h |
internal functions | |
file | range_slot_alloc.c |
Slot allocator capable of allocating more than one slot at a time. | |
file | single_slot_alloc.c |
Slot allocator for a single cnode. | |
file | slot_alloc.c |
Slot allocator wrapper. | |
file | twolevel_slot_alloc.c |
Slot allocator for two level CSpace. | |