/barrelfish-2018-10-04/include/barrelfish/ |
H A D | vspace.h | 22 struct vspace { struct 23 struct pmap *pmap; ///< Pmap associated with the vspace 25 struct vregion *head; ///< List of vregions in the vspace 29 * \brief Get the pmap for the vspace 31 * \param vspace The vspace to get the pmap for 33 static inline struct pmap* vspace_get_pmap(struct vspace *vspace) argument 35 return vspace->pmap; 42 errval_t vspace_init(struct vspace* vspac [all...] |
H A D | vregion.h | 46 struct vspace; 50 struct vspace *vspace; ///< A vregion is always associated with one vspace member in struct:vregion 56 struct vregion *next; ///< Pointer for the list in vspace 60 * \brief Get the vspace associated with the vregion 64 static inline struct vspace *vregion_get_vspace(struct vregion *vregion) 66 return vregion->vspace; 119 errval_t vregion_map(struct vregion* point, struct vspace* vspace, struc [all...] |
H A D | pmap.h | 43 struct vspace *vspace; ///< The vspace this pmap is associated with member in struct:pmap
|
/barrelfish-2018-10-04/lib/barrelfish/vspace/ |
H A D | vspace.c | 3 * \brief vspace management 5 * A vspace consists of a set of vregions and one pmap. 6 * The current vspace is setup by the (domain/dispatcher?) spawning it. 29 * \brief Initialize the current vspace structure 36 struct vspace *vspace = get_current_vspace(); local 39 vspace->pmap = pmap; 40 vspace->head = NULL; 43 err = vspace_layout_init(&vspace->layout); 53 err = pmap_init(pmap, vspace, ca 79 vspace_add_vregion(struct vspace *vspace, struct vregion *region) argument 135 vspace_remove_vregion(struct vspace *vspace, struct vregion* region) argument 167 vspace_init(struct vspace *vspace, struct pmap *pmap) argument 186 vspace_destroy(struct vspace *vspace) argument 196 vspace_get_region(struct vspace *vspace, const void *addr) argument 222 vspace_pagefault_handler(struct vspace *vspace, lvaddr_t lvaddr, vm_fault_type_t type) argument [all...] |
H A D | vspace_internal.h | 3 * \brief internal functions for the vspace library 19 // reserve 128MB for vspace backing memory 28 errval_t vspace_add_vregion(struct vspace* vspace, struct vregion* region); 29 errval_t vspace_remove_vregion(struct vspace*qvspace, struct vregion* region);
|
H A D | vregion.c | 5 * A vregion is backed by a memory object and a vspace. 26 * \param vspace The vspace to associate with the vregion 33 errval_t vregion_map_aligned(struct vregion *vregion, struct vspace* vspace, argument 38 struct pmap *pmap = vspace_get_pmap(vspace); 48 vregion->vspace = vspace; 55 // Add to the vspace 56 err = vspace_add_vregion(vspace, vregio 84 vregion_map(struct vregion *vregion, struct vspace *vspace, struct memobj *memobj, size_t offset, size_t size, vregion_flags_t flags) argument 102 vregion_map_fixed(struct vregion *vregion, struct vspace *vspace, struct memobj *memobj, size_t offset, size_t size, genvaddr_t addr, vregion_flags_t flags) argument 147 struct vspace *vspace = vregion_get_vspace(vregion); local [all...] |
H A D | memobj_one_frame_one_map.c | 52 struct vspace *vspace = vregion_get_vspace(vregion); local 53 struct pmap *pmap = vspace_get_pmap(vspace); 71 struct vspace *vspace = vregion_get_vspace(vregion); local 72 struct pmap *pmap = vspace_get_pmap(vspace); 157 struct vspace *vspace = vregion_get_vspace(vregion); local 158 struct pmap *pmap = vspace_get_pmap(vspace);
|
H A D | memobj_fixed.c | 71 struct vspace *vspace = vregion_get_vspace(vregion); local 72 struct pmap *pmap = vspace_get_pmap(vspace); 103 struct vspace *vspace = vregion_get_vspace(vregion); local 104 struct pmap *pmap = vspace_get_pmap(vspace); 210 struct vspace *vspace = vregion_get_vspace(vregion); local 211 struct pmap *pmap = vspace_get_pmap(vspace); 268 struct vspace *vspac local [all...] |
H A D | memobj_numa.c | 74 struct vspace *vspace = vregion_get_vspace(vregion); local 75 struct pmap *pmap = vspace_get_pmap(vspace); 105 struct vspace *vspace = vregion_get_vspace(vregion); local 106 struct pmap *pmap = vspace_get_pmap(vspace); 271 struct vspace *vspace = vregion_get_vspace(vregion); local 272 struct pmap *pmap = vspace_get_pmap(vspace);
|
H A D | memobj_one_frame.c | 56 struct vspace *vspace = vregion_get_vspace(vregion); local 57 struct pmap *pmap = vspace_get_pmap(vspace); 101 struct vspace *vspace = vregion_get_vspace(vregion); local 102 struct pmap *pmap = vspace_get_pmap(vspace); 183 struct vspace *vspace = vregion_get_vspace(vregion); local 184 struct pmap *pmap = vspace_get_pmap(vspace);
|
H A D | memobj_anon.c | 80 struct vspace *vspace = vregion_get_vspace(vregion); local 81 struct pmap *pmap = vspace_get_pmap(vspace); 150 struct vspace *vspace = vregion_get_vspace(vregion); local 151 struct pmap *pmap = vspace_get_pmap(vspace); 372 struct vspace *vspace = vregion_get_vspace(vwalk->region); local 373 struct pmap *pmap = vspace_get_pmap(vspace); 426 struct vspace *vspac local [all...] |
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish/ |
H A D | pmap_arch.h | 22 static inline errval_t pmap_init(struct pmap *pmap, struct vspace *vspace, argument 26 return pmap_x86_32_init(pmap, vspace, vnode, opt_slot_alloc);
|
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish/ |
H A D | pmap_arch.h | 22 static inline errval_t pmap_init(struct pmap *pmap, struct vspace *vspace, argument 26 return pmap_x86_64_init(pmap, vspace, vnode, opt_slot_alloc);
|
/barrelfish-2018-10-04/include/arch/aarch64/barrelfish/ |
H A D | core_state_arch.h | 21 struct vspace vspace; member in struct:vspace_state
|
H A D | pmap_arch.h | 23 errval_t pmap_init(struct pmap *p, struct vspace *v, struct capref vnode,
|
/barrelfish-2018-10-04/include/arch/arm/barrelfish/ |
H A D | core_state_arch.h | 21 struct vspace vspace; member in struct:vspace_state
|
H A D | pmap_arch.h | 32 errval_t pmap_init(struct pmap *p, struct vspace *v, struct capref vnode,
|
/barrelfish-2018-10-04/include/arch/x86/barrelfish/ |
H A D | core_state_arch.h | 21 struct vspace vspace; member in struct:vspace_state
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | dispatch.c | 28 assert(dcb->vspace != 0); 35 paging_context_switch(dcb->vspace);
|
/barrelfish-2018-10-04/include/target/x86_32/barrelfish/ |
H A D | pmap_target.h | 37 errval_t pmap_x86_32_init(struct pmap *pmap, struct vspace *vspace,
|
/barrelfish-2018-10-04/include/target/x86_64/barrelfish/ |
H A D | pmap_target.h | 30 errval_t pmap_x86_64_init(struct pmap *pmap, struct vspace *vspace,
|
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | dispatch.c | 32 assert(dcb->vspace != 0); 39 paging_context_switch(dcb->vspace);
|
/barrelfish-2018-10-04/kernel/arch/armv8/ |
H A D | dispatch.c | 32 assert(dcb->vspace != 0); 39 paging_context_switch(dcb->vspace);
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | dispatch.c | 31 assert(dcb->vspace != 0); 40 paging_context_switch(dcb->vspace);
|
/barrelfish-2018-10-04/lib/spawndomain/ |
H A D | spawn_vspace.c | 20 * \brief Initialize the vspace for the domain being spawned 32 si->vspace = malloc(sizeof (struct vspace)); 33 if (si->vspace == NULL) { 43 err = pmap_init(pmap, si->vspace, vnode, &si->pagecn_slot_alloc.a); 49 err = vspace_init(si->vspace, pmap); 58 if (si->vspace) { 59 free(si->vspace); 98 err = vregion_map(vregion, si->vspace, &memobj->m, 0, size, 154 err = vregion_map_fixed(vregion, si->vspace, [all...] |