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

/barrelfish-2018-10-04/lib/barrelfish/vspace/
H A Dmemobj_one_frame_lazy.c116 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local
H A Dmemobj_fixed.c74 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local
212 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local
H A Dmemobj_one_frame.c58 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local
185 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local
H A Dmemobj_one_frame_one_map.c54 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local
159 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local
H A Dmemobj_anon.c82 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local
152 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local
374 genvaddr_t vregion_base = vregion_get_base_addr(vwalk->region); local
[all...]
/barrelfish-2018-10-04/lib/vfs/
H A Dmmap.c41 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local
177 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local

Completed in 42 milliseconds