barrelfish/vspace/memobj_anon.c

370         struct vregion_list *vwalk = anon->vregion_list;
371         while (vwalk) {
372             struct vspace *vspace = vregion_get_vspace(vwalk->region);
374             genvaddr_t vregion_base  = vregion_get_base_addr(vwalk->region);
385             vwalk = vwalk->next;
515     struct vregion_list *vwalk = m->vregion_list;
516     while (vwalk) {
517         err = vregion_destroy(vwalk->region);
521         struct vregion_list *old = vwalk;
522         vwalk = vwalk->next;