barrelfish/vspace/memobj_anon.c

90     struct memobj_frame_list *fwalk = anon->frame_list;
95     while (fwalk) {
96         //printf("fwalk->offset = %zd\n", fwalk->offset);
97         //printf("fwalk->next   = %p\n", fwalk->next);
98         if (fwalk->offset < vregion_off) {
99             fprev = fwalk;
100             fwalk = fwalk->next;
103         else if (fwalk->offset < vregion_end) {
104             err = pmap->f.unmap(pmap, vregion_base + vregion_off, fwalk->size, NULL);
125             vregion_off += fwalk->size;
126             fprev = fwalk;
127             fwalk = fwalk->next;
175     struct memobj_frame_list *fwalk = anon->frame_list;
178     while (fwalk && range) {
179         //printf("fwalk->offset = %zd\n", fwalk->offset);
180         //printf("fwalk->next   = %p\n", fwalk->next);
181         if (offset >= fwalk->offset && offset < fwalk->offset + fwalk->size) {
183             size_t range_in_frame = fwalk->offset + fwalk->size - offset;
194         fwalk = fwalk->next;
353     struct memobj_frame_list *fwalk = anon->frame_list;
355     while (fwalk) {
356         if (fwalk->offset < offset) {
357             fprev = fwalk;
358             fwalk = fwalk->next;
377             assert((vregion_base + fwalk->offset) % BASE_PAGE_SIZE == 0);
378             //printf("(%s:%d) unmap(0x%"PRIxGENVADDR", %zd)\n", __FILE__, __LINE__, vregion_base + fwalk->offset, fwalk->size);
379             err = pmap->f.unmap(pmap, vregion_base + fwalk->offset, fwalk->size,
384             assert(retsize == fwalk->size);
391         *ret_offset = fwalk->offset;
394         *ret_frame = fwalk->frame;
397         fprev->next = fwalk->next;
399         anon->frame_list = fwalk->next;
401     slab_free(&anon->frame_slab, fwalk);
526     struct memobj_frame_list *fwalk = m->frame_list;
527     while (fwalk) {
529             err = cap_delete(fwalk->frame);
534         struct memobj_frame_list *old = fwalk;
535         fwalk = fwalk->next;