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 88 milliseconds