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

/barrelfish-master/lib/barrelfish/
H A Dmorecore.c143 if ((vregion_get_flags(&state->mmu_state.vregion)
150 if ((vregion_get_flags(&state->mmu_state.vregion) &
/barrelfish-master/include/barrelfish/
H A Dvregion.h115 static inline vregion_flags_t vregion_get_flags(struct vregion *vregion) function
/barrelfish-master/lib/barrelfish/vspace/
H A Dmemobj_pinned.c123 vregion_flags_t flags = vregion_get_flags(vregion);
H A Dmemobj_one_frame_lazy.c118 vregion_flags_t flags = vregion_get_flags(vregion);
H A Dmemobj_one_frame_one_map.c161 vregion_flags_t flags = vregion_get_flags(vregion);
H A Dmemobj_numa.c275 vregion_flags_t flags = vregion_get_flags(vregion);
H A Dmemobj_fixed.c273 vregion_flags_t flags = vregion_get_flags(vregion);
H A Dmemobj_one_frame.c187 vregion_flags_t flags = vregion_get_flags(vregion);
H A Dmemobj_anon.c430 vregion_flags_t flags = vregion_get_flags(vregion);
H A Dmemobj_append.c357 vregion_flags_t flags = vregion_get_flags(vregion);
/barrelfish-master/lib/vfs/
H A Dmmap.c118 walk->size, vregion_get_flags(vregion), NULL, NULL);
/barrelfish-master/lib/demandpaging/
H A Ddemandpaging.c138 vregion_get_flags(&dpr->vreg), NULL, NULL);

Completed in 113 milliseconds