Searched refs:vspace (Results 1 - 25 of 92) sorted by relevance

1234

/barrelfish-2018-10-04/include/barrelfish/
H A Dvspace.h22 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 Dvregion.h46 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 Dpmap.h43 struct vspace *vspace; ///< The vspace this pmap is associated with member in struct:pmap
/barrelfish-2018-10-04/lib/barrelfish/vspace/
H A Dvspace.c3 * \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 Dvspace_internal.h3 * \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 Dvregion.c5 * 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 Dmemobj_one_frame_one_map.c52 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 Dmemobj_fixed.c71 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 Dmemobj_numa.c74 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 Dmemobj_one_frame.c56 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 Dmemobj_anon.c80 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 Dpmap_arch.h22 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 Dpmap_arch.h22 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 Dcore_state_arch.h21 struct vspace vspace; member in struct:vspace_state
H A Dpmap_arch.h23 errval_t pmap_init(struct pmap *p, struct vspace *v, struct capref vnode,
/barrelfish-2018-10-04/include/arch/arm/barrelfish/
H A Dcore_state_arch.h21 struct vspace vspace; member in struct:vspace_state
H A Dpmap_arch.h32 errval_t pmap_init(struct pmap *p, struct vspace *v, struct capref vnode,
/barrelfish-2018-10-04/include/arch/x86/barrelfish/
H A Dcore_state_arch.h21 struct vspace vspace; member in struct:vspace_state
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Ddispatch.c28 assert(dcb->vspace != 0);
35 paging_context_switch(dcb->vspace);
/barrelfish-2018-10-04/include/target/x86_32/barrelfish/
H A Dpmap_target.h37 errval_t pmap_x86_32_init(struct pmap *pmap, struct vspace *vspace,
/barrelfish-2018-10-04/include/target/x86_64/barrelfish/
H A Dpmap_target.h30 errval_t pmap_x86_64_init(struct pmap *pmap, struct vspace *vspace,
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Ddispatch.c32 assert(dcb->vspace != 0);
39 paging_context_switch(dcb->vspace);
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Ddispatch.c32 assert(dcb->vspace != 0);
39 paging_context_switch(dcb->vspace);
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Ddispatch.c31 assert(dcb->vspace != 0);
40 paging_context_switch(dcb->vspace);
/barrelfish-2018-10-04/lib/spawndomain/
H A Dspawn_vspace.c20 * \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...]

Completed in 142 milliseconds

1234