| /seL4-refos-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-refos-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-refos-master/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-refos-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-refos-master/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-refos-master/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-refos-master/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-refos-master/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-refos-master/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-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | thread.c | 54 thread_start(struct proc_tcb *thread, void *arg0, void *arg1) argument
|
| H A D | process.c | 292 proc_start_thread(struct proc_pcb *p, int tindex, void* arg0, void* arg1) argument
|
| /seL4-refos-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-refos-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-refos-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-refos-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-refos-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-refos-master/apps/process_server/src/system/process/ |
| H A D | thread.c | 54 thread_start(struct proc_tcb *thread, void *arg0, void *arg1) argument
|
| H A D | process.c | 292 proc_start_thread(struct proc_pcb *p, int tindex, void* arg0, void* arg1) argument
|
| /seL4-refos-master/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-refos-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-refos-master/kernel/src/arch/arm/smp/ |
| H A D | ipi.c | 29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
| /seL4-refos-master/kernel/src/arch/x86/smp/ |
| H A D | ipi.c | 29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
| /seL4-refos-master/kernel/src/arch/riscv/smp/ |
| H A D | ipi.c | 31 handleRemoteCall(IpiRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
| /seL4-refos-master/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-refos-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
|