Searched refs:vspace (Results 26 - 50 of 92) sorted by relevance

1234

/barrelfish-2018-10-04/lib/barrelfish/vspace/
H A Dmemobj_one_frame_lazy.c114 struct vspace *vspace = vregion_get_vspace(vregion); local
115 struct pmap *pmap = vspace_get_pmap(vspace);
H A Dmemobj_pinned.c8 * maintained by vspace and memobjs.
119 struct vspace *vspace = vregion_get_vspace(vregion); local
120 struct pmap *pmap = vspace_get_pmap(vspace);
H A Dpinned.c3 * \brief Managing the pinned memory for vspace metadata
7 * Slabs required for various lists in vspace
44 struct vspace *vspace = get_current_vspace(); local
52 err = vregion_map(&state->vregion, vspace,
70 // allocators backing the pinned vspace state
H A Dutils.c23 struct vspace *vspace = get_current_vspace(); local
24 return vspace_layout_lvaddr_to_genvaddr(&vspace->layout, lvaddr);
32 struct vspace *vspace = get_current_vspace(); local
33 return vspace_layout_genvaddr_to_lvaddr(&vspace->layout, genvaddr);
/barrelfish-2018-10-04/usr/tests/vspace_tests/
H A Dvspace_dump.c8 struct vspace *vspace = get_current_vspace(); local
9 struct vregion *walk = vspace->head;
/barrelfish-2018-10-04/lib/vfs/
H A Dmmap.c39 struct vspace *vspace = vregion_get_vspace(vregion); local
40 struct pmap *pmap = vspace_get_pmap(vspace);
175 struct vspace *vspace = vregion_get_vspace(vregion); local
176 struct pmap *pmap = vspace_get_pmap(vspace);
/barrelfish-2018-10-04/kernel/include/
H A Ddispatch.h43 lpaddr_t vspace; ///< Address of VSpace root member in struct:dcb
/barrelfish-2018-10-04/include/spawndomain/
H A Dspawndomain.h42 // vspace of spawned domain
43 struct vspace *vspace; member in struct:spawninfo
/barrelfish-2018-10-04/doc/004-virtual_memory/
H A DVirtualMemory.tex61 page tables that match the user space vspace layout.
66 A pagetable is represented by a vspace object.
67 The vspace object is associated with exactly one pmap object and a list of vregions.
69 vspace also maintains a list of all virtual address regions that are currently mapped in.
72 a new vspace is created and it is associated with an appropriate pmap.
75 The vspace object looks up the appropriate vregion for the faulting address and passes the fault to it.
80 Therefore, it is associated with exactly one vspace and exactly one memory object.
108 Since the vspace maintains the list of currently occupied regions, pmap may have to consult it.
/barrelfish-2018-10-04/include/barrelfish/
H A Dinvocations.h267 * \param vspace Root of VSpace for new dispatcher relative to cspace
273 * Need to either supply caprefs for all or none of cspace, vspace, dispframe
280 struct capref cspace, struct capref vspace,
286 assert(capref_is_null(vspace) || get_croot_addr(vspace) == get_cap_addr(cspace));
291 capaddr_t vtree_caddr = get_cap_addr(vspace);
279 invoke_dispatcher(struct capref dispatcher, struct capref domdispatcher, struct capref cspace, struct capref vspace, struct capref dispframe, bool run) argument
H A Ddomain.h66 struct vspace *get_current_vspace(void);
H A Dvspace_common.h3 * \brief Common vspace library includes definitions
33 #include <barrelfish/vspace.h>
/barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/
H A Dpmap.c264 * \brief Returns the vnode for the pagetable mapping a given vspace address
698 * Relies on vspace.c code maintaining an ordered list of vregions
706 assert(pmap->vspace->head);
710 struct vregion *walk = pmap->vspace->head;
872 struct vspace *vspace,
880 pmap->vspace = vspace;
929 vregion->vspace = NULL;
937 struct vspace *vspac local
871 pmap_init(struct pmap *pmap, struct vspace *vspace, struct capref vnode, struct slot_allocator *opt_slot_alloc) argument
[all...]
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/
H A Dpmap.c89 * \brief Returns the vnode for the page directory mapping a given vspace address
114 * \brief Returns the vnode for the pagetable mapping a given vspace address
901 errval_t pmap_x86_32_init(struct pmap *pmap, struct vspace *vspace, argument
909 pmap->vspace = vspace;
951 vregion->vspace = NULL;
959 struct vspace *vspace = x86->p.vspace; local
[all...]
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dsvm_vmkit.c219 assert(dcb->vspace != 0);
227 * then we need to set the guest cr3 to the value of the domains vspace. If
228 * nested paging is enabled then we need to copy the domains vspace into the
231 amd_vmcb_ncr3_wr(&vmcb, dcb->vspace);
233 amd_vmcb_cr3_wr(&vmcb, dcb->vspace);
/barrelfish-2018-10-04/lib/barrelfish/arch/arm/
H A Dpmap.c341 * \brief Returns the vnode for the pagetable mapping a given vspace address
955 * Relies on vspace.c code maintaining an ordered list of vregions
963 assert(pmap->vspace->head);
972 struct vregion *walk = pmap->vspace->head;
1199 struct vspace *vspace,
1207 pmap->vspace = vspace;
1242 vregion->vspace = NULL;
1250 struct vspace *vspac local
1198 pmap_init(struct pmap *pmap, struct vspace *vspace, struct capref vnode, struct slot_allocator *opt_slot_alloc) argument
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Dembroot.tex70 \vspace{1cm}
72 \vspace{1cm}
/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/
H A Dvisualisation.tex81 \vspace{1cm}
83 \vspace{1cm}
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dpage_mappings_arch.c65 paging_x86_32_context_switch(dcb_current->vspace); // To flush TLB
387 if (dispatcher->vspace > X86_32_PADDR_SPACE_LIMIT) {
388 printk(LOG_ERR, "dispatcher->vspace = 0x%"PRIxLPADDR": too high!\n" ,
389 dispatcher->vspace);
392 lvaddr_t root_pt = local_phys_to_mem(dispatcher->vspace);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h70 struct vspace vspace; member in struct:guest
518 errval_t guest_vspace_map_wrapper(struct vspace *vspace, lvaddr_t vaddr,
/barrelfish-2018-10-04/lib/libc/quad/
H A Dqdivrem.c91 digit uspace[5], vspace[5], qspace[5]; local
111 v = &vspace[0];
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumserrors.tex51 \vspace{0.3cm}
60 \vspace{0.3cm}
97 \vspace*{\fill}
117 \vspace{0.5cm}
141 \vspace{0.5cm}
199 \vspace{0.5cm}
281 \vspace*{\fill}
302 \vspace{0.5cm}
315 \vspace*{\fill}
326 \vspace{0.
[all...]
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Dpmap.c103 * \brief Returns the vnode for the pdpt mapping a given vspace address
132 * \brief Returns the vnode for the page directory mapping a given vspace
166 * \brief Returns the vnode for the pagetable mapping a given vspace address
200 * given vspace address
212 * \brief Returns the vnode for the page directory mapping a given vspace
228 * \brief Returns the vnode for the pagetable mapping a given vspace address,
1099 errval_t pmap_x86_64_init(struct pmap *pmap, struct vspace *vspace, argument
1107 pmap->vspace = vspace;
1166 struct vspace *vspace = x86->p.vspace; local
[all...]
/barrelfish-2018-10-04/lib/bulk_transfer/
H A Dbulk_pool.c369 /* get the vspace / vregions / memobj pointers */
438 struct vspace *vspace = get_current_vspace(); local
454 struct pmap *pmap = vspace_get_pmap(vspace);
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/
H A Dmanual.tex48 \vspace{1cm}
50 \vspace{1cm}

Completed in 108 milliseconds

1234