Barrelfish
Functions
internal.h File Reference

internal functions More...

Functions

errval_t two_level_alloc (struct slot_allocator *ca, struct capref *ret)
 slot allocator More...
 
errval_t two_level_free (struct slot_allocator *ca, struct capref cap)
 Free an allocated slot. More...
 

Detailed Description

internal functions

Function Documentation

errval_t two_level_alloc ( struct slot_allocator *  ca,
struct capref ret 
)

slot allocator

Parameters
caInstance of the allocator
retPointer to return the allocated slot
errval_t two_level_free ( struct slot_allocator *  ca,
struct capref  cap 
)

Free an allocated slot.

Parameters
caInstance of the allocator
capThe slot to free

Walks the list of single slot allocators trying to free the slot.