| /seL4-camkes-master/kernel/src/arch/x86/32/smp/ |
| H A D | ipi.c | 12 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
| /seL4-camkes-master/kernel/src/arch/x86/64/smp/ |
| H A D | ipi.c | 13 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | helpers.h | 72 sel4utils_arch_init_local_context(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, void *stack_top, seL4_UserContext *context) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/arch/riscv/ |
| H A D | arch.c | 29 int sel4utils_arch_init_context_with_args(void *entry_point, void *arg0, void *arg1, void *arg2, 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/libsel4utils/src/sel4_arch/ia32/ |
| H A D | arch.c | 32 int sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, argument
|
| /seL4-camkes-master/kernel/src/arch/arm/smp/ |
| H A D | ipi.c | 29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, argument
|
| /seL4-camkes-master/kernel/src/arch/x86/smp/ |
| H A D | ipi.c | 29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, argument
|
| /seL4-camkes-master/kernel/src/arch/riscv/smp/ |
| H A D | ipi.c | 31 static void handleRemoteCall(IpiRemoteCall_t call, word_t arg0, argument
|
| /seL4-camkes-master/tools/riscv-pk/machine/ |
| H A D | minit.c | 211 void enter_supervisor_mode(void (*fn)(uintptr_t), uintptr_t arg0, uintptr_t arg1) argument
230 void enter_machine_mode(void (*fn)(uintptr_t, uintptr_t), uintptr_t arg0, uintptr_t arg1) argument
|
| H A D | mtrap.c | 136 uintptr_t n = regs[17], arg0 = regs[10], arg1 = regs[11], retval, ipi_type; local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | thread.c | 163 sel4utils_start_thread(sel4utils_thread_t *thread, sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, int resume) argument
|
| /seL4-camkes-master/projects/picotcp/test/ |
| H A D | picoapp.c | 171 static void usage(char *arg0) argument
|