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

/barrelfish-2018-10-04/include/barrelfish/
H A Dvregion.h114 static inline vregion_flags_t vregion_get_flags(struct vregion *vregion) function

Completed in 83 milliseconds