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

/barrelfish-master/lib/barrelfish/vspace/
H A Dmemobj_one_frame_lazy.c116 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_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_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...]
H A Dmemobj_append.c74 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local
/barrelfish-master/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
/barrelfish-master/usr/bench/cow/
H A Dpmap_cow.c470 genvaddr_t vregion_base = vregion_get_base_addr(vregion); local

Completed in 98 milliseconds