| /seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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
|
| H A D | condition_var.h | 171 static inline int sync_cv_new(vka_t *vka, sync_cv_t *cv) argument
193 static inline int sync_cv_destroy(vka_t *vka, sync_cv_t *cv) argument
[all...] |
| H A D | bin_sem.h | 87 static inline int sync_bin_sem_new(vka_t *vka, sync_bin_sem_t *sem, int value) argument
110 static inline int sync_bin_sem_destroy(vka_t *vka, sync_bin_sem_t *sem) argument
|
| /seL4-camkes-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-camkes-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-camkes-master/projects/seL4_projects_libs/libsel4rpc/include/sel4rpc/ |
| H A D | server.h | 20 vka_t *vka; member in struct:sel4rpc_env
|
| /seL4-camkes-master/projects/seL4_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-camkes-master/projects/seL4_libs/libsel4simple/src/ |
| H A D | simple.c | 72 void simple_make_vka(simple_t *simple, vka_t *vka) argument
|
| /seL4-camkes-master/projects/seL4_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
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/ |
| H A D | arch.c | 32 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn 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
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch64/ |
| H A D | arch.c | 33 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn 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
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/arm_hyp/ |
| H A D | arch.c | 32 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn 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
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/x86_64/ |
| H A D | arch.c | 31 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn 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
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/ |
| H A D | object.h | 22 static inline int vka_alloc_vcpu (vka_t *vka, vka_object_t *result) argument
27 static inline int vka_alloc_ept_page_directory_pointer_table (vka_t *vka, vka_object_t *result) argument
32 static inline int vka_alloc_ept_page_directory (vka_t *vka, vka_object_t *result) argument
37 vka_alloc_ept_page_table(vka_t *vka, vka_object_t *result) argument
41 vka_alloc_ept_pdpt(vka_t *vka, vka_object_t *result) argument
45 vka_alloc_ept_pml4(vka_t *vka, vka_object_t *result) argument
51 vka_alloc_io_page_table(vka_t *vka, vka_object_t *result) argument
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | object_capops.h | 50 vka_mint_object(vka_t *vka, vka_object_t *object, cspacepath_t *result, argument
[all...] |
| /seL4-camkes-master/projects/global-components/components/modules/dynamic-untyped-allocators/templates/ |
| H A D | dynamic-untyped-allocators.template.c | 26 static vka_t vka; variable
|