Lines Matching defs:vspace
15 #include "../barrelfish/vspace/vspace_internal.h"
293 struct vspace *vspace = get_current_vspace();
294 struct pmap *pmap = vspace_get_pmap(vspace);
305 vregion->vspace = vspace;
312 err = vspace_add_vregion(vspace, vregion);
328 struct vspace *vspace = vregion_get_vspace(vregion);
329 struct pmap *pmap = vspace_get_pmap(vspace);
448 USER_PANIC_ERR(err, "reserve region in vspace for demand paging\n");