/barrelfish-2018-10-04/lib/libc/sys/barrelfish/ |
H A D | oldsys_morecore.c | 76 vregion_get_base_addr(&state->mmu_state.vregion)
|
H A D | oldmalloc.c | 165 lvaddr_t base = vregion_get_base_addr(&state->mmu_state.vregion); 166 lvaddr_t limit = base + vregion_get_size(&state->mmu_state.vregion);
|
/barrelfish-2018-10-04/lib/spawndomain/ |
H A D | multiboot.c | 67 struct vregion *vregion; local 69 err = vspace_map_anon_attr(&base, &memobj, &vregion, size, &size, 104 err = memobj->f.pagefault(memobj, vregion, 0, 0);
|
H A D | spawn.c | 762 struct memobj_anon *m = (struct memobj_anon *)si->vregion[i]->memobj;
|
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/ |
H A D | pmap.c | 43 * \brief Translate generic vregion flags to architecture specific pmap flags 374 assert(pmap->vregion_offset < vregion_get_base_addr(&pmap->vregion) + 375 vregion_get_size(&pmap->vregion)); 948 // a vregion representing the address space is required. 949 // We construct a superficial one here and add it to the vregion list. 950 struct vregion *vregion = &x86->vregion; local 951 vregion->vspace = NULL; 952 vregion [all...] |
/barrelfish-2018-10-04/lib/barrelfish/arch/arm/ |
H A D | pmap.c | 695 assert(pmap->vregion_offset < (vregion_get_base_addr(&pmap->vregion) + 696 vregion_get_size(&pmap->vregion))); 972 struct vregion *walk = pmap->vspace->head; 1237 // a vregion representing the address space is required. 1238 // We construct a superficial one here and add it to the vregion list. 1239 struct vregion *vregion = &pmap_arm->vregion; local 1240 assert((void*)vregion > (void*)pmap_arm); 1241 assert((void*)vregion < (voi [all...] |
/barrelfish-2018-10-04/usr/tests/nkm/ |
H A D | nkmtest.c | 66 struct vregion *vr;
|
H A D | vspace_dump.c | 17 #include <barrelfish/vregion.h>
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | ump_chan.c | 251 NULL, &uc->vregion); 260 vregion_destroy(uc->vregion); 269 vregion_destroy(uc->vregion); 328 NULL, &uc->vregion); 337 vregion_destroy(uc->vregion);
|
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/ |
H A D | pmap.c | 42 * \brief Translate generic vregion flags to architecture specific pmap flags 540 assert(pmap->vregion_offset < vregion_get_base_addr(&pmap->vregion) + 541 vregion_get_size(&pmap->vregion)); 1155 // a vregion representing the address space is required. 1156 // We construct a superficial one here and add it to the vregion list. 1157 struct vregion *vregion = &x86->vregion; local 1158 vregion->vspace = NULL; 1159 vregion [all...] |
/barrelfish-2018-10-04/lib/barrelfish/slot_alloc/ |
H A D | twolevel_slot_alloc.c | 272 vregion_destroy(&ret->mmu_state.vregion); 281 vregion_destroy(&ret->mmu_state.vregion);
|
/barrelfish-2018-10-04/doc/004-virtual_memory/ |
H A D | VirtualMemory.tex | 57 Vspace, vregion, and memory object are designed to be architecture independent. 75 The vspace object looks up the appropriate vregion for the faulting address and passes the fault to it. 78 A vregion represents a contiguous block of virtual address space. 79 There is only one vregion for a block of address space in a page table. 95 It can only be mapped into a single vregion.
|
/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | guest.c | 64 struct vregion *vregion = NULL; local 68 vregion = malloc(sizeof(struct vregion)); 69 if (!vregion) { 90 err = vregion_map_fixed(vregion, vspace, &memobj->m, 0, size, vaddr, 96 err = memobj->m.f.pagefault(&memobj->m, vregion, 0, 0); 105 if (vregion) { 106 free(vregion); 121 static struct vregion *vregio local [all...] |
/barrelfish-2018-10-04/usr/vmkitmon/ |
H A D | guest.c | 116 struct vregion *vregion = NULL; local 120 vregion = malloc(sizeof(struct vregion)); 121 if (!vregion) { 142 err = vregion_map_fixed(vregion, vspace, &memobj->m, 0, size, vaddr, 148 err = memobj->m.f.pagefault(&memobj->m, vregion, 0, 0); 157 if (vregion) { 158 free(vregion); 173 static struct vregion *vregio local [all...] |
/barrelfish-2018-10-04/lib/numa/ |
H A D | alloc.c | 372 struct vregion *vreg = calloc(1, sizeof(struct vregion));
|
/barrelfish-2018-10-04/usr/bench/mdb_bench/ |
H A D | main.c | 212 struct vregion *v;
|
/barrelfish-2018-10-04/lib/ahci/ |
H A D | ahci_util.c | 12 #include <barrelfish/vregion.h>
|
/barrelfish-2018-10-04/usr/ramfsd/ |
H A D | service.c | 19 #include <barrelfish/vregion.h> 48 struct vregion *bulk_vregion;
|
/barrelfish-2018-10-04/lib/barrelfish/arch/x86/ |
H A D | pmap.c | 457 struct vregion *walk = pmap->vspace->head;
|
/barrelfish-2018-10-04/usr/tests/e10ktest/ |
H A D | e10ktest.c | 231 genvaddr_t base = vregion_get_base_addr(&mmu_state->vregion);
|
H A D | subways.c | 255 genvaddr_t base = vregion_get_base_addr(&mmu_state->vregion);
|
/barrelfish-2018-10-04/doc/015-disk-driver-arch/ |
H A D | libahci.tex | 143 disk, and a \lstinline+struct vregion*+ data buffer and associated length.
|
/barrelfish-2018-10-04/usr/drivers/megaraid/ |
H A D | megaraid.c | 164 genvaddr_t base = vregion_get_base_addr(&mmu_state->vregion);
|
/barrelfish-2018-10-04/lib/arranet/ |
H A D | arranet.c | 691 genvaddr_t base = vregion_get_base_addr(&mmu_state->vregion);
|