Barrelfish
|
Slot allocator wrapper. More...
Functions | |
struct slot_allocator * | get_default_slot_allocator (void) |
Returns the default slot allocator for the caller. | |
errval_t | slot_alloc (struct capref *ret) |
Default slot allocator. More... | |
errval_t | slot_alloc_root (struct capref *ret) |
slot allocator for the root More... | |
errval_t | slot_free (struct capref ret) |
Default slot free. More... | |
Slot allocator wrapper.
Warning: slot_alloc_init calls vregion_map which calls vspace_add_vregion. vspace_add_vregion uses malloc to increase it's slab. Since malloc depends upon slot_alloc_init being called successfully, vspace_add_vregion should have enough initial slab space to not use malloc.
errval_t slot_alloc | ( | struct capref * | ret | ) |
Default slot allocator.
ret | Pointer to the cap to return the allocated slot in |
Allocates one slot from the default allocator
errval_t slot_alloc_root | ( | struct capref * | ret | ) |
slot allocator for the root
Root slot allocator functions.
ret | Pointer to the cap to return the allocated slot in |
Allocates one slot from the root slot allocator
errval_t slot_free | ( | struct capref | ret | ) |
Default slot free.
ret | The cap to free |
Frees the passed in slot.