|
Barrelfish
|
internal functions for the vspace library More...
Functions | |
| errval_t | vspace_add_vregion (struct vspace *vspace, struct vregion *region) |
| Add a new region into the vspace. More... | |
| errval_t | vspace_remove_vregion (struct vspace *qvspace, struct vregion *region) |
| remove a region from the vspace More... | |
| errval_t | vspace_pinned_init (void) |
| Initialize the pinned region. More... | |
| errval_t | vspace_pinned_alloc (void **retbuf, enum slab_type slab_type) |
| Allocate some slabs. More... | |
internal functions for the vspace library
| errval_t vspace_add_vregion | ( | struct vspace * | vspace, |
| struct vregion * | region | ||
| ) |
Add a new region into the vspace.
| point | The vspace struct |
| region | The region to add |
pmap implementation rely on vspace maintaining an ordered list of vregions
| errval_t vspace_pinned_alloc | ( | void ** | retbuf, |
| enum slab_type slab_type | |||
| ) |
Allocate some slabs.
| retbuf | Pointer to return the allocated memory |
| slab_type | Type of slab the memory is allocated for |
Since this region is used for backing specific slabs, only those types of slabs can be allocated.
| errval_t vspace_pinned_init | ( | void | ) |
Initialize the pinned region.
Allocates a region of virtual address space and initializes its state.
| errval_t vspace_remove_vregion | ( | struct vspace * | vspace, |
| struct vregion * | region | ||
| ) |
remove a region from the vspace
| point | The vspace struct |
| region | The region to remove |
Library internal function
1.8.11