Searched refs:arg2 (Results 1 - 25 of 28) sorted by relevance

12

/seL4-camkes-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);
/seL4-camkes-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-camkes-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-camkes-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
37 context->a2 = (seL4_Word) arg2;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/
H A Darch.c33 void *arg0, void *arg1, void *arg2,
41 context->r2 = (seL4_Word) arg2;
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 Darch.c34 void *arg0, void *arg1, void *arg2,
42 context->x2 = (seL4_Word) arg2;
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 Darch.c33 void *arg0, void *arg1, void *arg2,
41 context->r2 = (seL4_Word) arg2;
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 Darch.c32 void *arg0, void *arg1, void *arg2,
52 context->rdx = (seL4_Word) arg2;
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 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};
61 stack_ptr[-1] = (seL4_Word) arg2;
/seL4-camkes-master/projects/musllibc/src/internal/microblaze/
H A Dsyscall.s7 add r6, r7, r0 # arg2
/seL4-camkes-master/projects/musllibc/src/internal/powerpc/
H A Dsyscall.s7 mr 4, 5 # arg2
/seL4-camkes-master/projects/musllibc/src/internal/powerpc64/
H A Dsyscall.s7 mr 4, 5 # arg2
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/smp/
H A Dipi.h37 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2);
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/smp/
H A Dipi.h22 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2);
/seL4-camkes-master/kernel/src/arch/arm/smp/
H A Dipi.c30 word_t arg1, word_t arg2, bool_t irqPath)
65 virq.words[0] = arg2;
29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
/seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-riscv/
H A Dsbi.h22 #define SBI_CALL(which, arg0, arg1, arg2) ({ \
25 register uintptr_t a2 asm ("a2") = (uintptr_t)(arg2); \
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Ddriver_module.h27 // arg1 and arg2 will expand to real argument only when the pointers are NULL or 0
29 #define __IS_NULL(arg1, arg2) __third_arg(arg1 arg2 INVALID, INVALID, VALID)
/seL4-camkes-master/projects/lwip/src/apps/snmp/
H A Dsnmp_threadsync.c84 call_data->retval.err = call_data->proxy_instance.set_test(&call_data->proxy_instance, call_data->arg2.len, call_data->arg1.value);
98 call_data->arg2.len = len;
110 call_data->retval.err = call_data->proxy_instance.set_value(&call_data->proxy_instance, call_data->arg2.len, call_data->arg1.value);
124 call_data->arg2.len = len;
156 call_data->retval.err = leaf->get_instance(call_data->arg1.root_oid, call_data->arg2.root_oid_len, &call_data->proxy_instance);
167 call_data->retval.err = leaf->get_next_instance(call_data->arg1.root_oid, call_data->arg2.root_oid_len, &call_data->proxy_instance);
192 call_data->arg2.root_oid_len = root_oid_len;
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/
H A Dsnmp_threadsync.h70 } arg2; member in struct:threadsync_data
/seL4-camkes-master/kernel/src/arch/x86/smp/
H A Dipi.c30 word_t arg1, word_t arg2, bool_t irqPath)
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
/seL4-camkes-master/kernel/src/arch/riscv/smp/
H A Dipi.c32 word_t arg1, word_t arg2, bool_t irqPath)
31 handleRemoteCall(IpiRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dfp_emulation.c167 uint32_t arg2 = rm ? rs1 : rs2; local
168 int use_rs1 = f32_lt_quiet(f32(arg1), f32(arg2)) || isNaNF32UI(rs2);
174 uint64_t arg2 = rm ? rs1 : rs2; local
175 int use_rs1 = f64_lt_quiet(f64(arg1), f64(arg2)) || isNaNF64UI(rs2);
/seL4-camkes-master/projects/musllibc/src/thread/powerpc/
H A Dsyscall_cp.s47 mr 4, 6 # arg2
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dl2c_310.c230 BOOT_CODE static void mshield_smc(uint32_t callid, uint32_t arg1, uint32_t arg2) argument
233 register uint32_t _arg2 asm("r1") = arg2;
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h858 register seL4_Word arg2 asm("a1") = (seL4_Word)userarg;
860 asm volatile("ecall" : "+r"(arg1) : "r"(arg2), "r"(scno));

Completed in 228 milliseconds

12