| /barrelfish-master/usr/vmkitmon/ |
| H A D | guest.h | 70 struct vspace vspace; member in struct:guest
|
| H A D | guest.c | 115 errval_t guest_vspace_map_wrapper(struct vspace *vspace, lvaddr_t vaddr, argument
[all...] |
| /barrelfish-master/usr/tests/vspace_tests/ |
| H A D | vspace_dump.c | 8 struct vspace *vspace = get_current_vspace(); local
|
| /barrelfish-master/usr/drivers/dma/ |
| H A D | queue_manager_client.h | 31 struct capref vspace; member in struct:queue::__anon363
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | guest.c | 139 errval_t guest_vspace_map_wrapper(struct vspace *vspace, lvaddr_t vaddr, argument
[all...] |
| H A D | guest.h | 78 struct vspace *vspace; member in struct:guest
|
| /barrelfish-master/tools/schedsim/ |
| H A D | simulator.c | 59 size_t vspace; member in struct:dcb
|
| /barrelfish-master/lib/vfs/ |
| H A D | mmap.c | 39 struct vspace *vspace = vregion_get_vspace(vregion); local
175 struct vspace *vspace = vregion_get_vspace(vregion); local
|
| /barrelfish-master/lib/demandpaging/ |
| H A D | demandpaging.c | 293 struct vspace *vspace = get_current_vspace(); local
328 struct vspace *vspace = vregion_get_vspace(vregion); local
[all...] |
| /barrelfish-master/lib/bulk_transfer/ |
| H A D | bulk_pool.c | 438 struct vspace *vspace = get_current_vspace(); local
|
| /barrelfish-master/lib/barrelfish/vspace/ |
| 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 | utils.c | 23 struct vspace *vspace = get_current_vspace(); local
32 struct vspace *vspace = get_current_vspace(); local
|
| 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 | 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_pinned.c | 119 struct vspace *vspace = vregion_get_vspace(vregion); local
|
| 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_one_frame_lazy.c | 114 struct vspace *vspace = vregion_get_vspace(vregion); local
|
| H A D | memobj_append.c | 71 struct vspace *vspace = vregion_get_vspace(vregion); local
105 struct vspace *vspace = vregion_get_vspace(vregion); local
352 struct vspace *vspace = vregion_get_vspace(vregion); local
|
| H A D | memobj_numa.c | 74 struct vspace *vspace = vregion_get_vspace(vregion); local
105 struct vspace *vspace = vregion_get_vspace(vregion); local
271 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_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/lib/barrelfish/ |
| H A D | pmap_slab_mgmt.c | 218 struct vspace *vspace = pmap->vspace; local
|
| /barrelfish-master/lib/barrelfish/arch/x86_64/ |
| H A D | pmap.c | 1313 errval_t pmap_x86_64_init(struct pmap *pmap, struct vspace *vspace, argument
1384 pmap_x86_64_init_ept(struct pmap *pmap, struct vspace *vspace, struct capref vnode, struct slot_allocator *opt_slot_alloc) argument
[all...] |
| /barrelfish-master/lib/barrelfish/arch/x86_32/ |
| H A D | pmap.c | 901 errval_t pmap_x86_32_init(struct pmap *pmap, struct vspace *vspace, argument
959 struct vspace *vspace = x86->p.vspace; local
[all...] |