| /seL4-refos-master/libs/libsel4platsupport/src/arch/arm/ |
| H A D | io_port_ops.c | 19 int sel4platsupport_new_arch_ops(UNUSED ps_io_ops_t *ops, UNUSED simple_t *simple, UNUSED vka_t *vka) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/ |
| H A D | io_port_ops.c | 19 int sel4platsupport_new_arch_ops(UNUSED ps_io_ops_t *ops, UNUSED simple_t *simple, UNUSED vka_t *vka) argument
|
| /seL4-refos-master/libs/libsel4vka/arch_include/riscv/vka/arch/ |
| H A D | object.h | 18 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/ |
| H A D | object.h | 21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/ |
| H A D | object.h | 21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/ |
| H A D | object.h | 18 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/ |
| H A D | object.h | 21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/ |
| H A D | object.h | 21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/ |
| H A D | object.h | 19 static inline int vka_alloc_page_global_directory(vka_t *vka, vka_object_t *result) argument
24 static inline int vka_alloc_page_upper_directory(vka_t *vka, vka_object_t *result) argument
32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
[all...] |
| /seL4-refos-master/libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/ |
| H A D | object.h | 19 static inline int vka_alloc_pdpt(vka_t *vka, vka_object_t *result) argument
39 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/ |
| H A D | object.h | 19 static inline int vka_alloc_pml4(vka_t *vka, vka_object_t *result) argument
24 static inline int vka_alloc_pdpt(vka_t *vka, vka_object_t *result) argument
32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/ |
| H A D | object.h | 19 static inline int vka_alloc_page_global_directory(vka_t *vka, vka_object_t *result) argument
24 static inline int vka_alloc_page_upper_directory(vka_t *vka, vka_object_t *result) argument
32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/ |
| H A D | object.h | 19 static inline int vka_alloc_pdpt(vka_t *vka, vka_object_t *result) argument
39 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/ |
| H A D | object.h | 19 static inline int vka_alloc_pml4(vka_t *vka, vka_object_t *result) argument
24 static inline int vka_alloc_pdpt(vka_t *vka, vka_object_t *result) argument
32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/libs/libsel4vka/arch_include/arm/vka/arch/ |
| H A D | object.h | 22 static inline int vka_alloc_vcpu(vka_t *vka, vka_object_t *result) argument
31 static inline int vka_alloc_io_page_table(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/ |
| H A D | object.h | 22 static inline int vka_alloc_vcpu(vka_t *vka, vka_object_t *result) argument
31 static inline int vka_alloc_io_page_table(vka_t *vka, vka_object_t *result) argument
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
| H A D | vka.h | 23 vka_t *vka = (vka_t*)_cspace; local
31 vka_t *vka = (vka_t*)_cspace; local
37 vka_t *vka = (vka_t*)_cspace; local
49 cspace_vka_make_interface(vka_t *vka) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
| H A D | vka.h | 23 vka_t *vka = (vka_t*)_cspace; local
31 vka_t *vka = (vka_t*)_cspace; local
37 vka_t *vka = (vka_t*)_cspace; local
49 cspace_vka_make_interface(vka_t *vka) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4sync/include/sync/ |
| H A D | mutex.h | 47 static inline int sync_mutex_new(vka_t *vka, sync_mutex_t *mutex) { argument
55 static inline int sync_mutex_destroy(vka_t *vka, sync_mutex_t *mutex) { argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4sync/src/ |
| H A D | recursive_mutex.c | 91 int sync_recursive_mutex_new(vka_t *vka, sync_recursive_mutex_t *mutex) argument
102 int sync_recursive_mutex_destroy(vka_t *vka, sync_recursive_mutex_t *mutex) argument
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | mapping.h | 43 static inline int sel4utils_map_page_leaky(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | mapping.h | 43 static inline int sel4utils_map_page_leaky(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, argument
[all...] |
| /seL4-refos-master/libs/libsel4platsupport/src/ |
| H A D | device.c | 21 seL4_Error sel4platsupport_copy_irq_cap(vka_t *vka, simple_t *simple, ps_irq_t *irq, cspacepath_t *dest) argument
47 seL4_Error sel4platsupport_alloc_frame_at(vka_t *vka, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
58 void *sel4platsupport_map_frame_at(vka_t *vka, vspace_t *vspace, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
[all...] |
| /seL4-refos-master/libs/libsel4simple/src/ |
| H A D | simple.c | 72 void simple_make_vka(simple_t *simple, vka_t *vka) argument
|
| /seL4-refos-master/libs/libsel4utils/src/arch/riscv/ |
| H A D | arch.c | 29 sel4utils_arch_init_context_with_args(void *entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|