Lines Matching refs:vspace
46 struct vspace;
50 struct vspace *vspace; ///< A vregion is always associated with one vspace
56 struct vregion *next; ///< Pointer for the list in vspace
60 * \brief Get the vspace associated with the vregion
64 static inline struct vspace *vregion_get_vspace(struct vregion *vregion)
66 return vregion->vspace;
119 errval_t vregion_map(struct vregion* point, struct vspace* vspace, struct memobj* memobj,
121 errval_t vregion_map_aligned(struct vregion* point, struct vspace* vspace,
124 errval_t vregion_map_fixed(struct vregion* point, struct vspace* vspace, struct memobj* memobj,