Searched refs:vregion_size (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/lib/barrelfish/vspace/ |
| H A D | memobj_anon.c | 84 size_t vregion_size = vregion_get_size(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);
154 size_t vregion_size = vregion_get_size(vregion); local
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);
|
| /barrelfish-master/usr/bench/cow/ |
| H A D | pmap_cow.c | 471 size_t vregion_size = vregion_get_size(vregion); local
475 if (pml4e != X86_64_PML4_BASE(vregion_base + vregion_size - 1)) {
482 err = pmap->f.determine_addr_raw(pmap, vregion_size, 0, &new_vaddr);
|
Completed in 34 milliseconds