Searched refs:arg1 (Results 1 - 25 of 50) sorted by relevance

12

/seL4-refos-master/kernel/src/arch/x86/64/smp/
H A Dipi.c13 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/libs/libsel4utils/include/sel4utils/
H A Dhelpers.h66 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 Dhelpers.h66 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/src/arch/x86/32/smp/
H A Dipi.c12 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-riscv/
H A Dsbi.h22 #define SBI_CALL(which, arg0, arg1, arg2) ({ \
24 register uintptr_t a1 asm ("a1") = (uintptr_t)(arg1); \
37 #define SBI_CALL_2(which, arg0, arg1) SBI_CALL(which, arg0, arg1, 0)
/seL4-refos-master/tools/elfloader/include/arch-riscv/
H A Dsbi.h22 #define SBI_CALL(which, arg0, arg1, arg2) ({ \
24 register uintptr_t a1 asm ("a1") = (uintptr_t)(arg1); \
37 #define SBI_CALL_2(which, arg0, arg1) SBI_CALL(which, arg0, arg1, 0)
/seL4-refos-master/libs/libsel4utils/src/arch/riscv/
H A Darch.c29 int sel4utils_arch_init_context_with_args(void *entry_point, void *arg0, void *arg1, void *arg2, argument
36 context->a1 = (seL4_Word) arg1;
/seL4-refos-master/libs/libsel4utils/src/sel4_arch/aarch32/
H A Darch.c33 void *arg0, void *arg1, void *arg2,
40 context->r1 = (seL4_Word) arg1;
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 Darch.c34 void *arg0, void *arg1, void *arg2,
41 context->x1 = (seL4_Word) arg1;
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 Darch.c33 void *arg0, void *arg1, void *arg2,
40 context->r1 = (seL4_Word) arg1;
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 Darch.c32 void *arg0, void *arg1, void *arg2,
48 context->rsi = (seL4_Word) arg1;
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 Darch.c29 int sel4utils_arch_init_context_with_args(void *entry_point, void *arg0, void *arg1, void *arg2, argument
36 context->a1 = (seL4_Word) arg1;
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/
H A Darch.c33 void *arg0, void *arg1, void *arg2,
40 context->r1 = (seL4_Word) arg1;
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 Darch.c34 void *arg0, void *arg1, void *arg2,
41 context->x1 = (seL4_Word) arg1;
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 Darch.c33 void *arg0, void *arg1, void *arg2,
40 context->r1 = (seL4_Word) arg1;
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 Darch.c32 void *arg0, void *arg1, void *arg2,
48 context->rsi = (seL4_Word) arg1;
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 Darch.c32 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};
60 stack_ptr[-2] = (seL4_Word) arg1;
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/sel4_arch/ia32/
H A Darch.c32 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};
60 stack_ptr[-2] = (seL4_Word) arg1;
/seL4-refos-master/kernel/src/arch/arm/smp/
H A Dipi.c30 word_t arg1, word_t arg2, bool_t irqPath)
59 maskInterrupt(arg0, IDX_TO_IRQT(arg1));
66 handleVCPUInjectInterruptIPI((vcpu_t *) arg0, arg1, virq);
29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dthread.h64 @param arg1 The second argument.
67 int thread_start(struct proc_tcb *thread, void *arg0, void *arg1);
/seL4-refos-master/apps/process_server/src/system/process/
H A Dthread.h64 @param arg1 The second argument.
67 int thread_start(struct proc_tcb *thread, void *arg0, void *arg1);
/seL4-refos-master/libs/libmuslc/src/internal/microblaze/
H A Dsyscall.s6 add r5, r6, r0 # Shift the arguments, arg1
/seL4-refos-master/libs/libmuslc/src/internal/powerpc/
H A Dsyscall.s6 mr 3, 4 # Shift the arguments: arg1
/seL4-refos-master/libs/libmuslc/src/internal/powerpc64/
H A Dsyscall.s6 mr 3, 4 # Shift the arguments: arg1
/seL4-refos-master/kernel/src/arch/x86/smp/
H A Dipi.c30 word_t arg1, word_t arg2, bool_t irqPath)
41 invalidateLocalPageStructureCacheASID(arg0, arg1);
49 invalidateLocalTranslationSingleASID(arg0, arg1);
69 Mode_handleRemoteCall(call, arg0, arg1, arg2);
29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument

Completed in 115 milliseconds

12