/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 17 invalidateLocalPCID(arg0, (void *)arg1, arg2); 21 invalidateLocalASID((vspace_root_t *)arg0, arg1);
|
/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 16 invalidateLocalTLBEntry(arg0);
|
/seL4-refos-master/kernel/src/arch/arm/smp/ |
H A D | ipi.c | 29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, argument 42 switchLocalFpuOwner((user_fpu_state_t *)arg0); 47 invalidateTranslationSingleLocal(arg0); 51 invalidateTranslationASIDLocal(arg0); 59 maskInterrupt(arg0, IDX_TO_IRQT(arg1)); 66 handleVCPUInjectInterruptIPI((vcpu_t *) arg0, arg1, virq);
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-riscv/ |
H A D | sbi.h | 22 #define SBI_CALL(which, arg0, arg1, arg2) ({ \ 23 register uintptr_t a0 asm ("a0") = (uintptr_t)(arg0); \ 36 #define SBI_CALL_1(which, arg0) SBI_CALL(which, arg0, 0, 0) 37 #define SBI_CALL_2(which, arg0, arg1) SBI_CALL(which, arg0, arg1, 0)
|
/seL4-refos-master/tools/elfloader/include/arch-riscv/ |
H A D | sbi.h | 22 #define SBI_CALL(which, arg0, arg1, arg2) ({ \ 23 register uintptr_t a0 asm ("a0") = (uintptr_t)(arg0); \ 36 #define SBI_CALL_1(which, arg0) SBI_CALL(which, arg0, 0, 0) 37 #define SBI_CALL_2(which, arg0, arg1) SBI_CALL(which, arg0, arg1, 0)
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | helpers.h | 66 void *arg0, void *arg1, void *arg2, 73 void *arg0, void *arg1, void *arg2, 76 return sel4utils_arch_init_context_with_args(entry_point, arg0, arg1, arg2, true, stack_top, context, NULL, NULL, NULL); 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 | 66 void *arg0, void *arg1, void *arg2, 73 void *arg0, void *arg1, void *arg2, 76 return sel4utils_arch_init_context_with_args(entry_point, arg0, arg1, arg2, true, stack_top, context, NULL, NULL, NULL); 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/kernel/include/arch/riscv/arch/ |
H A D | sbi.h | 67 #define SBI_CALL_1(which, arg0) sbi_call(which, arg0, 0, 0) 68 #define SBI_CALL_2(which, arg0, arg1) sbi_call(which, arg0, arg1, 0)
|
/seL4-refos-master/kernel/src/arch/x86/smp/ |
H A D | ipi.c | 29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, argument 41 invalidateLocalPageStructureCacheASID(arg0, arg1); 45 invalidateLocalTranslationSingle(arg0); 49 invalidateLocalTranslationSingleASID(arg0, arg1); 57 switchLocalFpuOwner((user_fpu_state_t *)arg0); 65 VMCheckBoundNotification((tcb_t *)arg0); 69 Mode_handleRemoteCall(call, arg0, arg1, arg2);
|
/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 35 context->a0 = (seL4_Word) arg0;
|
/seL4-refos-master/libs/libsel4utils/src/sel4_arch/aarch32/ |
H A D | arch.c | 33 void *arg0, void *arg1, void *arg2, 39 context->r0 = (seL4_Word) arg0; 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 | 34 void *arg0, void *arg1, void *arg2, 40 context->x0 = (seL4_Word) arg0; 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 | 33 void *arg0, void *arg1, void *arg2, 39 context->r0 = (seL4_Word) arg0; 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 | 32 void *arg0, void *arg1, void *arg2, 47 context->rdi = (seL4_Word) arg0; 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/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 35 context->a0 = (seL4_Word) arg0;
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/ |
H A D | arch.c | 33 void *arg0, void *arg1, void *arg2, 39 context->r0 = (seL4_Word) arg0; 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 | 34 void *arg0, void *arg1, void *arg2, 40 context->x0 = (seL4_Word) arg0; 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 | 33 void *arg0, void *arg1, void *arg2, 39 context->r0 = (seL4_Word) arg0; 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 | 32 void *arg0, void *arg1, void *arg2, 47 context->rdi = (seL4_Word) arg0; 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/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 43 seL4_Word stack_args[] = {(seL4_Word) arg0, (seL4_Word) arg1, (seL4_Word) arg2}; 59 stack_ptr[-3] = (seL4_Word) arg0;
|
/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 43 seL4_Word stack_args[] = {(seL4_Word) arg0, (seL4_Word) arg1, (seL4_Word) arg2}; 59 stack_ptr[-3] = (seL4_Word) arg0;
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | thread.h | 63 @param arg0 The first argument. 67 int thread_start(struct proc_tcb *thread, void *arg0, void *arg1);
|
/seL4-refos-master/apps/process_server/src/system/process/ |
H A D | thread.h | 63 @param arg0 The first argument. 67 int thread_start(struct proc_tcb *thread, void *arg0, void *arg1);
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/smp/ |
H A D | ipi.h | 37 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2);
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/smp/ |
H A D | ipi.h | 22 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2);
|