| /barrelfish-master/include/barrelfish/ |
| H A D | vspace.h | 22 struct vspace { struct
33 static inline struct pmap* vspace_get_pmap(struct vspace *vspace) argument
[all...] |
| H A D | pmap.h | 57 struct vspace *vspace; ///< The vspace this pmap is associated with member in struct:pmap
|
| H A D | vregion.h | 51 struct vspace *vspace; ///< A vregion is always associated with one vspace member in struct:vregion
[all...] |
| /barrelfish-master/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
|
| /barrelfish-master/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
|
| /barrelfish-master/include/arch/x86/barrelfish/ |
| H A D | core_state_arch.h | 21 struct vspace vspace; member in struct:vspace_state
|
| /barrelfish-master/include/arch/aarch64/barrelfish/ |
| H A D | core_state_arch.h | 21 struct vspace vspace; member in struct:vspace_state
|
| /barrelfish-master/include/arch/arm/barrelfish/ |
| H A D | core_state_arch.h | 21 struct vspace vspace; member in struct:vspace_state
|
| /barrelfish-master/lib/barrelfish/vspace/ |
| H A D | pinned.c | 44 struct vspace *vspace = get_current_vspace(); local
|
| H A D | vregion.c | 33 errval_t vregion_map_aligned(struct vregion *vregion, struct vspace* vspace, argument
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
151 struct vspace *vspace = vregion_get_vspace(vregion); local
[all...] |
| H A D | vspace.c | 36 struct vspace *vspace = get_current_vspace(); local
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 | memobj_pinned.c | 119 struct vspace *vspace = vregion_get_vspace(vregion); local
|
| H A D | memobj_one_frame_lazy.c | 114 struct vspace *vspace = vregion_get_vspace(vregion); local
|
| H A D | utils.c | 23 struct vspace *vspace = get_current_vspace(); local
32 struct vspace *vspace = get_current_vspace(); local
|
| H A D | memobj_one_frame_one_map.c | 52 struct vspace *vspace = vregion_get_vspace(vregion); local
71 struct vspace *vspace = vregion_get_vspace(vregion); local
157 struct vspace *vspace = vregion_get_vspace(vregion); local
|
| H A D | memobj_fixed.c | 71 struct vspace *vspace = vregion_get_vspace(vregion); local
103 struct vspace *vspace = vregion_get_vspace(vregion); local
210 struct vspace *vspace = vregion_get_vspace(vregion); local
268 struct vspace *vspac local
[all...] |
| H A D | memobj_one_frame.c | 56 struct vspace *vspace = vregion_get_vspace(vregion); local
101 struct vspace *vspace = vregion_get_vspace(vregion); local
183 struct vspace *vspace = vregion_get_vspace(vregion); local
|
| H A D | memobj_anon.c | 80 struct vspace *vspace = vregion_get_vspace(vregion); local
150 struct vspace *vspace = vregion_get_vspace(vregion); local
372 struct vspace *vspace = vregion_get_vspace(vwalk->region); local
426 struct vspace *vspac local
[all...] |
| /barrelfish-master/usr/drivers/dma/ |
| H A D | queue_manager_client.h | 31 struct capref vspace; member in struct:queue::__anon363
|
| /barrelfish-master/usr/tests/vspace_tests/ |
| H A D | vspace_dump.c | 8 struct vspace *vspace = get_current_vspace(); local
|
| /barrelfish-master/lib/libc/quad/ |
| H A D | qdivrem.c | 91 digit uspace[5], vspace[5], qspace[5]; local
|
| /barrelfish-master/lib/barrelfish/ |
| H A D | pmap_slab_mgmt.c | 218 struct vspace *vspace = pmap->vspace; local
|
| /barrelfish-master/kernel/include/ |
| H A D | dispatch.h | 32 lpaddr_t vspace; ///< Addresss of Guest VSPACE root member in struct:guest
44 lpaddr_t vspace; ///< Address of VSpace root member in struct:dcb
|
| /barrelfish-master/include/spawndomain/ |
| H A D | spawndomain.h | 43 struct vspace *vspace; member in struct:spawninfo
|
| /barrelfish-master/lib/bulk_transfer/ |
| H A D | bulk_pool.c | 438 struct vspace *vspace = get_current_vspace(); local
|