| /seL4-refos-master/libs/libsel4utils/arch_include/arm/sel4utils/arch/ |
| H A D | page.h | 14 #include <vspace/arch/page.h>
|
| H A D | vspace.h | 15 #include <sel4utils/sel4_arch/vspace.h>
|
| /seL4-refos-master/libs/libsel4utils/arch_include/riscv/sel4utils/arch/ |
| H A D | page.h | 14 #include <vspace/arch/page.h>
|
| /seL4-refos-master/libs/libsel4utils/arch_include/x86/sel4utils/arch/ |
| H A D | page.h | 14 #include <vspace/arch/page.h>
|
| H A D | vspace.h | 14 #include <sel4utils/sel4_arch/vspace.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/arm/sel4utils/arch/ |
| H A D | page.h | 14 #include <vspace/arch/page.h>
|
| H A D | vspace.h | 15 #include <sel4utils/sel4_arch/vspace.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/ |
| H A D | page.h | 14 #include <vspace/arch/page.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/ |
| H A D | page.h | 14 #include <vspace/arch/page.h>
|
| H A D | vspace.h | 14 #include <sel4utils/sel4_arch/vspace.h>
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | stack.h | 14 #include <vspace/vspace.h>
20 * @param vspace interface to allocate stack with
27 int sel4utils_run_on_stack(vspace_t *vspace, void * (*func)(void *arg), void *arg, void **retval);
|
| H A D | page_dma.h | 20 #include <vspace/vspace.h>
26 * is larger). This allocator will put mappings into the vspace with custom cookie values and you
27 * must free all dma allocations before tearing down the vspace
29 * @param vspace Virtual memory manager used for mapping frames
33 int sel4utils_new_page_dma_alloc(vka_t *vka, vspace_t *vspace, ps_dma_man_t *dma_man);
|
| H A D | iommu_dma.h | 22 #include <vspace/vspace.h>
34 * @param vspace Virtual memory manager that needs to contain any mappings used to back malloc.
41 int sel4utils_make_iommu_dma_alloc(vka_t *vka, vspace_t *vspace, ps_dma_man_t *dma_man, unsigned int num_iospaces,
51 * malloc is not backed by a vspace). The dma_man argument must be a pointer to a dma manager that
52 * was created using sel4utils_make_iommu_dma_alloc. The vspace argument to sel4utils_make_iommu_dma_alloc
59 * @param vaddr A pointer to a region of memory to use as the dma buffer. The vspace given to
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | stack.h | 14 #include <vspace/vspace.h>
20 * @param vspace interface to allocate stack with
27 int sel4utils_run_on_stack(vspace_t *vspace, void * (*func)(void *arg), void *arg, void **retval);
|
| H A D | page_dma.h | 20 #include <vspace/vspace.h>
26 * is larger). This allocator will put mappings into the vspace with custom cookie values and you
27 * must free all dma allocations before tearing down the vspace
29 * @param vspace Virtual memory manager used for mapping frames
33 int sel4utils_new_page_dma_alloc(vka_t *vka, vspace_t *vspace, ps_dma_man_t *dma_man);
|
| H A D | iommu_dma.h | 22 #include <vspace/vspace.h>
34 * @param vspace Virtual memory manager that needs to contain any mappings used to back malloc.
41 int sel4utils_make_iommu_dma_alloc(vka_t *vka, vspace_t *vspace, ps_dma_man_t *dma_man, unsigned int num_iospaces,
51 * malloc is not backed by a vspace). The dma_man argument must be a pointer to a dma manager that
52 * was created using sel4utils_make_iommu_dma_alloc. The vspace argument to sel4utils_make_iommu_dma_alloc
59 * @param vaddr A pointer to a region of memory to use as the dma buffer. The vspace given to
|
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
| H A D | vspace.h | 20 #include <vspace/page.h>
22 typedef struct vspace vspace_t;
98 * @param vspace the virtual memory allocator to use.
106 reservation_t vspace_reserve_range(vspace_t *vspace, size_t bytes,
110 * Share memory from one vspace to another.
112 * Make duplicate mappings of the from vspace in a contiguous region in the
113 * to vspace. Pages are expected to already be mapped in the from vspace, or an error
116 * @param from vspace to share memory from
117 * @param to vspace t
188 vspace_new_stack(vspace_t *vspace) argument
203 vspace_free_stack(vspace_t *vspace, void *stack_top) argument
473 struct vspace { struct
517 vspace_new_pages(vspace_t *vspace, seL4_CapRights_t rights, size_t num_pages, size_t size_bits) argument
555 vspace_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument
580 vspace_new_pages_at_vaddr_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, reservation_t res) argument
594 vspace_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
618 vspace_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
643 vspace_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
670 vspace_unmap_pages(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, vka_t *vka) argument
696 vspace_tear_down(vspace_t *vspace, vka_t *vka) argument
710 vspace_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **vaddr) argument
738 vspace_reserve_range_at(vspace_t *vspace, void *vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
761 vspace_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t bytes, int cacheable) argument
783 vspace_free_reservation(vspace_t *vspace, reservation_t reservation) argument
798 vspace_free_reservation_by_vaddr(vspace_t *vspace, void *vaddr) argument
813 vspace_get_cap(vspace_t *vspace, void *vaddr) argument
833 vspace_get_cookie(vspace_t *vspace, void *vaddr) argument
855 vspace_maybe_call_allocated_object(vspace_t *vspace, vka_object_t object) argument
866 vspace_get_root(vspace_t *vspace) argument
[all...] |
| /seL4-refos-master/libs/libsel4vspace/include/vspace/ |
| H A D | vspace.h | 20 #include <vspace/page.h>
22 typedef struct vspace vspace_t;
98 * @param vspace the virtual memory allocator to use.
106 reservation_t vspace_reserve_range(vspace_t *vspace, size_t bytes,
110 * Share memory from one vspace to another.
112 * Make duplicate mappings of the from vspace in a contiguous region in the
113 * to vspace. Pages are expected to already be mapped in the from vspace, or an error
116 * @param from vspace to share memory from
117 * @param to vspace t
188 vspace_new_stack(vspace_t *vspace) argument
203 vspace_free_stack(vspace_t *vspace, void *stack_top) argument
473 struct vspace { struct
517 vspace_new_pages(vspace_t *vspace, seL4_CapRights_t rights, size_t num_pages, size_t size_bits) argument
555 vspace_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument
580 vspace_new_pages_at_vaddr_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, reservation_t res) argument
594 vspace_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
618 vspace_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
643 vspace_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
670 vspace_unmap_pages(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, vka_t *vka) argument
696 vspace_tear_down(vspace_t *vspace, vka_t *vka) argument
710 vspace_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **vaddr) argument
738 vspace_reserve_range_at(vspace_t *vspace, void *vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
761 vspace_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t bytes, int cacheable) argument
783 vspace_free_reservation(vspace_t *vspace, reservation_t reservation) argument
798 vspace_free_reservation_by_vaddr(vspace_t *vspace, void *vaddr) argument
813 vspace_get_cap(vspace_t *vspace, void *vaddr) argument
833 vspace_get_cookie(vspace_t *vspace, void *vaddr) argument
855 vspace_maybe_call_allocated_object(vspace_t *vspace, vka_object_t object) argument
866 vspace_get_root(vspace_t *vspace) argument
[all...] |
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | stack.c | 15 #include <vspace/vspace.h>
21 sel4utils_run_on_stack(vspace_t *vspace, void * (*func)(void *arg), void *arg, void **retval) argument
23 void *stack_top = vspace_new_stack(vspace);
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | stack.c | 15 #include <vspace/vspace.h>
21 sel4utils_run_on_stack(vspace_t *vspace, void * (*func)(void *arg), void *arg, void **retval) argument
23 void *stack_top = vspace_new_stack(vspace);
|
| /seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/64/armv/ |
| H A D | context_switch.h | 10 #include <arch/kernel/vspace.h>
16 static inline void armv_contextSwitch(vspace_root_t *vspace, asid_t asid) argument
21 setCurrentUserVSpaceRoot(ttbr_new(asid, pptr_to_paddr(vspace)));
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | thread.c | 16 #include "../addrspace/vspace.h"
20 struct vs_vspace *vspace)
23 if (!entryPoint || !vspace) {
34 thread->vspaceRef = vspace;
35 vs_ref(vspace);
39 &procServ.vka, &procServ.vspace, &vspace->vspace, REFOS_PROCSERV_EP,
40 priority, vspace->cspace.capPtr, vspace
19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, struct vs_vspace *vspace) argument
[all...] |
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | thread.c | 16 #include "../addrspace/vspace.h"
20 struct vs_vspace *vspace)
23 if (!entryPoint || !vspace) {
34 thread->vspaceRef = vspace;
35 vs_ref(vspace);
39 &procServ.vka, &procServ.vspace, &vspace->vspace, REFOS_PROCSERV_EP,
40 priority, vspace->cspace.capPtr, vspace
19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, struct vs_vspace *vspace) argument
[all...] |
| /seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/ |
| H A D | platsupport.h | 15 #include <vspace/vspace.h>
28 /* Initialises the serial device. Requires a simple_t * so that caps can be located as well as a vka_t to allocate at slot, and a vspace in case a memory mapped device is required */
30 platsupport_serial_setup_simple(vspace_t *vspace, simple_t *simple, vka_t *vka);
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
| H A D | platsupport.h | 15 #include <vspace/vspace.h>
28 /* Initialises the serial device. Requires a simple_t * so that caps can be located as well as a vka_t to allocate at slot, and a vspace in case a memory mapped device is required */
30 platsupport_serial_setup_simple(vspace_t *vspace, simple_t *simple, vka_t *vka);
|