Lines Matching refs:vregion
28 * \param region The associated vregion
32 static errval_t pagefault(struct memobj *memobj, struct vregion *vregion,
39 struct vspace *vspace = vregion_get_vspace(vregion);
41 genvaddr_t vregion_base = vregion_get_base_addr(vregion);
42 genvaddr_t vregion_off = vregion_get_offset(vregion);
82 struct vregion *tmp_vregion = NULL;
118 walk->size, vregion_get_flags(vregion), NULL, NULL);
168 errval_t memobj_flush_vfs(struct memobj *memobj, struct vregion *vregion)
175 struct vspace *vspace = vregion_get_vspace(vregion);
177 genvaddr_t vregion_base = vregion_get_base_addr(vregion);
179 genvaddr_t vregion_off = vregion_get_offset(vregion);
227 * The memory object and vregion are returned so the user can call fill and
235 struct vregion **ret_vregion,
240 struct vregion *vregion = NULL;
248 vregion = malloc(sizeof(struct vregion));
249 if (!vregion) {
254 // Create a memobj and vregion
263 err1 = vregion_map_fixed(vregion, get_current_vspace(), memobj, 0, size,
266 err1 = vregion_map_aligned(vregion, get_current_vspace(), memobj, 0, size,
269 err1 = vregion_map(vregion, get_current_vspace(), memobj, 0, size, flags);
276 *ret_vregion = vregion;
289 if (vregion) {
290 err2 = vregion_destroy(vregion);
294 free(vregion);
301 struct vregion **ret_vregion,
311 struct vregion **ret_vregion,
322 struct vregion **ret_vregion,