Searched defs:vregion_get_vspace (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/include/barrelfish/
H A Dvregion.h65 static inline struct vspace *vregion_get_vspace(struct vregion *vregion) function

Completed in 8 milliseconds