/barrelfish-2018-10-04/lib/barrelfish/vspace/ |
H A D | memobj_one_frame_lazy.c | 114 struct vspace *vspace = vregion_get_vspace(vregion); local 115 struct pmap *pmap = vspace_get_pmap(vspace);
|
H A D | memobj_pinned.c | 8 * maintained by vspace and memobjs. 119 struct vspace *vspace = vregion_get_vspace(vregion); local 120 struct pmap *pmap = vspace_get_pmap(vspace);
|
H A D | pinned.c | 3 * \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 D | utils.c | 23 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 D | vspace_dump.c | 8 struct vspace *vspace = get_current_vspace(); local 9 struct vregion *walk = vspace->head;
|
/barrelfish-2018-10-04/lib/vfs/ |
H A D | mmap.c | 39 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 D | dispatch.h | 43 lpaddr_t vspace; ///< Address of VSpace root member in struct:dcb
|
/barrelfish-2018-10-04/include/spawndomain/ |
H A D | spawndomain.h | 42 // vspace of spawned domain 43 struct vspace *vspace; member in struct:spawninfo
|
/barrelfish-2018-10-04/doc/004-virtual_memory/ |
H A D | VirtualMemory.tex | 61 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 D | invocations.h | 267 * \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 D | domain.h | 66 struct vspace *get_current_vspace(void);
|
H A D | vspace_common.h | 3 * \brief Common vspace library includes definitions 33 #include <barrelfish/vspace.h>
|
/barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/ |
H A D | pmap.c | 264 * \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 D | pmap.c | 89 * \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 D | svm_vmkit.c | 219 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 D | pmap.c | 341 * \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 D | embroot.tex | 70 \vspace{1cm} 72 \vspace{1cm}
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/ |
H A D | visualisation.tex | 81 \vspace{1cm} 83 \vspace{1cm}
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | page_mappings_arch.c | 65 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 D | guest.h | 70 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 D | qdivrem.c | 91 digit uspace[5], vspace[5], qspace[5]; local 111 v = &vspace[0];
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umserrors.tex | 51 \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 D | pmap.c | 103 * \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 D | bulk_pool.c | 369 /* 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 D | manual.tex | 48 \vspace{1cm} 50 \vspace{1cm}
|