Lines Matching refs:vregion
30 #include <barrelfish/vregion.h>
40 struct vregion **ret_vregion, size_t size,
43 struct vregion *vregion, size_t size,
47 struct vregion **ret_vregion, size_t size,
52 struct vregion **ret_vregion,
57 struct vregion **retvregion);
62 struct vregion **retvregion);
65 struct vregion **retvregion);
67 struct vregion *vregion, size_t size,
73 struct vregion **retvregion);
77 struct vregion **retvregion);