barrelfish/vspace/memobj_anon.c

83     genvaddr_t vregion_off   = vregion_get_offset(vregion);
85     genvaddr_t vregion_end = vregion_off + vregion_size;
87     //printf("(%s:%d) unmap(0x%"PRIxGENVADDR", memobj->size = %zd) vregion size = %zd\n", __FILE__, __LINE__, vregion_base + vregion_off, memobj->size, vregion_size);
92     //printf("vregion_off = 0x%"PRIxGENVADDR"\n", vregion_off);
98         if (fwalk->offset < vregion_off) {
104             err = pmap->f.unmap(pmap, vregion_base + vregion_off, fwalk->size, NULL);
125             vregion_off += fwalk->size;
153     genvaddr_t vregion_off   = vregion_get_offset(vregion);
155     genvaddr_t vregion_end = vregion_off + vregion_size;
157     //printf("(%s:%d) protect(0x%"PRIxGENVADDR", memobj->size = %zd) vregion size = %zd offset=%zd range=%zd\n", __FILE__, __LINE__, vregion_base + vregion_off, memobj->size, vregion_size, offset, range);
163     offset += vregion_off;
176     //printf("vregion_off = 0x%"PRIxGENVADDR"\n", vregion_off);
429             genvaddr_t vregion_off   = vregion_get_offset(vregion);
431             err = pmap->f.map(pmap, base + vregion_off + walk->offset,