Searched refs:vregion_off (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/lib/barrelfish/vspace/
H A Dmemobj_one_frame_one_map.c55 genvaddr_t vregion_off = vregion_get_offset(vregion); local
57 err = pmap->f.unmap(pmap, vregion_base + vregion_off, memobj->size, NULL);
160 genvaddr_t vregion_off = vregion_get_offset(vregion); local
163 err = pmap->f.map(pmap, vregion_base + vregion_off, state->frame,
H A Dmemobj_anon.c83 genvaddr_t vregion_off = vregion_get_offset(vregion); local
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); local
155 genvaddr_t vregion_end = vregion_off
429 genvaddr_t vregion_off = vregion_get_offset(vregion); local
[all...]
H A Dmemobj_pinned.c122 genvaddr_t vregion_off = vregion_get_offset(vregion); local
125 err = pmap->f.map(pmap, base + vregion_off + offset, frame, 0, size, flags,
H A Dmemobj_one_frame_lazy.c117 genvaddr_t vregion_off = vregion_get_offset(vregion); local
132 err = pmap->f.map(pmap, vregion_base + vregion_off + offset, frame_copy,
H A Dmemobj_one_frame.c59 genvaddr_t vregion_off = vregion_get_offset(vregion); local
61 err = pmap->f.unmap(pmap, vregion_base + vregion_off, memobj->size, NULL);
186 genvaddr_t vregion_off = vregion_get_offset(vregion); local
189 err = pmap->f.map(pmap, vregion_base + vregion_off, one_frame->frame,
/barrelfish-master/lib/vfs/
H A Dmmap.c42 genvaddr_t vregion_off = vregion_get_offset(vregion); local
44 assert(vregion_off == 0); // not sure if we handle this correctly
59 genvaddr_t map_offset = vregion_off + walk->offset;
179 genvaddr_t vregion_off = vregion_get_offset(vregion); local
181 assert(vregion_off == 0); // not sure if we handle this correctly

Completed in 95 milliseconds