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

/barrelfish-master/lib/barrelfish/vspace/
H A Dmemobj_anon.c84 size_t vregion_size = vregion_get_size(vregion); local
154 size_t vregion_size = vregion_get_size(vregion); local
/barrelfish-master/usr/bench/cow/
H A Dpmap_cow.c471 size_t vregion_size = vregion_get_size(vregion); local

Completed in 92 milliseconds