Barrelfish
|
Arch specific declerations that can be included by others. More...
Functions | |
errval_t | pmap_x86_32_init (struct pmap *pmap, struct vspace *vspace, struct capref vnode, struct slot_allocator *opt_slot_alloc) |
Initialize a x86 pmap object. | |
errval_t | pmap_x86_32_current_init (bool) |
Initialize the current pmap. Reserve space for metadata. More... | |
Arch specific declerations that can be included by others.
errval_t pmap_x86_32_current_init | ( | bool | init_domain | ) |
Initialize the current pmap. Reserve space for metadata.
This code is coupled with vspace_current_init()