Lines Matching defs:vspace
115 errval_t guest_vspace_map_wrapper(struct vspace *vspace, lvaddr_t vaddr,
145 err = vregion_map_fixed(vregion, vspace, &memobj->m, 0, size, vaddr,
221 // also performs the mapping into the vspace of the monitor
255 // Map into the guest vspace
256 err = guest_vspace_map_wrapper(&g->vspace, guest_paddr, cap, bytes);
261 // Create a copy of the capability to map in our vspace
272 // Map into my vspace
504 err = pmap_x86_64_init(pmap, &self->vspace, vnode_cap, NULL);
506 err = vspace_init(&self->vspace, pmap);