Searched refs:vregion (Results 51 - 74 of 74) sorted by relevance

123

/barrelfish-2018-10-04/lib/libc/sys/barrelfish/
H A Doldsys_morecore.c76 vregion_get_base_addr(&state->mmu_state.vregion)
H A Doldmalloc.c165 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 Dmultiboot.c67 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 Dspawn.c762 struct memobj_anon *m = (struct memobj_anon *)si->vregion[i]->memobj;
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/
H A Dpmap.c43 * \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 Dpmap.c695 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 Dnkmtest.c66 struct vregion *vr;
H A Dvspace_dump.c17 #include <barrelfish/vregion.h>
/barrelfish-2018-10-04/lib/barrelfish/
H A Dump_chan.c251 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 Dpmap.c42 * \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 Dtwolevel_slot_alloc.c272 vregion_destroy(&ret->mmu_state.vregion);
281 vregion_destroy(&ret->mmu_state.vregion);
/barrelfish-2018-10-04/doc/004-virtual_memory/
H A DVirtualMemory.tex57 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 Dguest.c64 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 Dguest.c116 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 Dalloc.c372 struct vregion *vreg = calloc(1, sizeof(struct vregion));
/barrelfish-2018-10-04/usr/bench/mdb_bench/
H A Dmain.c212 struct vregion *v;
/barrelfish-2018-10-04/lib/ahci/
H A Dahci_util.c12 #include <barrelfish/vregion.h>
/barrelfish-2018-10-04/usr/ramfsd/
H A Dservice.c19 #include <barrelfish/vregion.h>
48 struct vregion *bulk_vregion;
/barrelfish-2018-10-04/lib/barrelfish/arch/x86/
H A Dpmap.c457 struct vregion *walk = pmap->vspace->head;
/barrelfish-2018-10-04/usr/tests/e10ktest/
H A De10ktest.c231 genvaddr_t base = vregion_get_base_addr(&mmu_state->vregion);
H A Dsubways.c255 genvaddr_t base = vregion_get_base_addr(&mmu_state->vregion);
/barrelfish-2018-10-04/doc/015-disk-driver-arch/
H A Dlibahci.tex143 disk, and a \lstinline+struct vregion*+ data buffer and associated length.
/barrelfish-2018-10-04/usr/drivers/megaraid/
H A Dmegaraid.c164 genvaddr_t base = vregion_get_base_addr(&mmu_state->vregion);
/barrelfish-2018-10-04/lib/arranet/
H A Darranet.c691 genvaddr_t base = vregion_get_base_addr(&mmu_state->vregion);

Completed in 225 milliseconds

123