/seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/64/armv/ |
H A D | context_switch.h | 16 static inline void armv_contextSwitch(vspace_root_t *vspace, asid_t asid) argument
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | stack.c | 21 sel4utils_run_on_stack(vspace_t *vspace, void * (*func)(void *arg), void *arg, void **retval) argument
|
H A D | iommu_dma.c | 28 vspace_t vspace; member in struct:dma_man 196 int sel4utils_make_iommu_dma_alloc(vka_t *vka, vspace_t *vspace, ps_dma_man_t *dma_man, unsigned int num_iospaces, argument
|
H A D | mapping.c | 116 void *sel4utils_dup_and_map(vka_t *vka, vspace_t *vspace, seL4_CPtr page, size_t size_bits) argument 141 void sel4utils_unmap_dup(vka_t *vka, vspace_t *vspace, void *mapping, size_t size_bits) argument
|
H A D | page_dma.c | 27 vspace_t vspace; member in struct:dma_man 192 sel4utils_new_page_dma_alloc(vka_t *vka, vspace_t *vspace, ps_dma_man_t *dma_man) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | stack.c | 21 sel4utils_run_on_stack(vspace_t *vspace, void * (*func)(void *arg), void *arg, void **retval) argument
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
H A D | tlb.h | 19 static inline void invalidateLocalASID(vspace_root_t *vspace, asid_t asid) argument 35 static inline void invalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) argument
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/mspace/ |
H A D | vspace_pool.h | 33 vspace_t vspace; member in struct:mspace_vspace_pool_config 41 vspace_t vspace; member in struct:mspace_vspace_pool
|
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | device.c | 58 void *sel4platsupport_map_frame_at(vka_t *vka, vspace_t *vspace, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
H A D | vspace.h | 55 vspace_t vspace; member in struct:vs_vspace [all...] |
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | thread.c | 19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, struct vs_vspace *vspace) argument [all...] |
H A D | process.h | 58 struct vs_vspace vspace; member in struct:proc_pcb
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | vspace_pool.h | 33 vspace_t vspace; member in struct:mspace_vspace_pool_config 41 vspace_t vspace; member in struct:mspace_vspace_pool
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | device.c | 58 void *sel4platsupport_map_frame_at(vka_t *vka, vspace_t *vspace, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
|
/seL4-refos-master/apps/process_server/src/system/addrspace/ |
H A D | vspace.h | 55 vspace_t vspace; member in struct:vs_vspace [all...] |
/seL4-refos-master/apps/process_server/src/system/process/ |
H A D | thread.c | 19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, struct vs_vspace *vspace) argument [all...] |
H A D | process.h | 58 struct vs_vspace vspace; member in struct:proc_pcb
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/smp/ |
H A D | ipi.h | 29 static inline void doRemoteInvalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) argument
|
/seL4-refos-master/libs/libsel4vspace/include/vspace/ |
H A D | mapping.h | 62 vspace_map_obj(vspace_map_obj_t *obj, seL4_CPtr cap, seL4_CPtr vspace, seL4_Word vaddr, seL4_Word attr) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | mapping.h | 62 vspace_map_obj(vspace_map_obj_t *obj, seL4_CPtr cap, seL4_CPtr vspace, seL4_Word vaddr, seL4_Word attr) argument
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
H A D | state.h | 52 vspace_t vspace; member in struct:procserv_state
|
/seL4-refos-master/apps/process_server/src/ |
H A D | state.h | 52 vspace_t vspace; member in struct:procserv_state
|
/seL4-refos-master/libs/libsel4allocman/ |
H A D | example_bootstrap.c | 39 vspace_alloc_t vspace; local
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | process.h | 37 vspace_t vspace; member in struct:__anon638 [all...] |
/seL4-refos-master/libs/libsel4vspace/src/ |
H A D | vspace.c | 17 void *vspace_new_sized_stack(vspace_t *vspace, size_t n_pages) argument 44 void vspace_free_sized_stack(vspace_t *vspace, void *stack_top, size_t n_pages) argument 56 void *vspace_new_ipc_buffer(vspace_t *vspace, seL4_CPt argument 70 vspace_free_ipc_buffer(vspace_t *vspace, void *addr) argument 120 vspace_new_pages_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, seL4_CapRights_t rights) argument 148 vspace_reserve_range(vspace_t *vspace, size_t bytes, seL4_CapRights_t rights, int cacheable, void **vaddr) argument [all...] |