/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 17 invalidateLocalPCID(arg0, (void *)arg1, arg2);
|
/seL4-camkes-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-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/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 37 context->a2 = (seL4_Word) arg2;
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/ |
H A D | arch.c | 33 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 D | arch.c | 34 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 D | arch.c | 33 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 D | arch.c | 32 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 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}; 61 stack_ptr[-1] = (seL4_Word) arg2;
|
/seL4-camkes-master/projects/musllibc/src/internal/microblaze/ |
H A D | syscall.s | 7 add r6, r7, r0 # arg2
|
/seL4-camkes-master/projects/musllibc/src/internal/powerpc/ |
H A D | syscall.s | 7 mr 4, 5 # arg2
|
/seL4-camkes-master/projects/musllibc/src/internal/powerpc64/ |
H A D | syscall.s | 7 mr 4, 5 # arg2
|
/seL4-camkes-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-camkes-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);
|
/seL4-camkes-master/kernel/src/arch/arm/smp/ |
H A D | ipi.c | 30 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 D | sbi.h | 22 #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 D | driver_module.h | 27 // 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 D | snmp_threadsync.c | 84 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 D | snmp_threadsync.h | 70 } arg2; member in struct:threadsync_data
|
/seL4-camkes-master/kernel/src/arch/x86/smp/ |
H A D | ipi.c | 30 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 D | ipi.c | 32 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 D | fp_emulation.c | 167 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 D | syscall_cp.s | 47 mr 4, 6 # arg2
|
/seL4-camkes-master/kernel/src/arch/arm/machine/ |
H A D | l2c_310.c | 230 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 D | syscalls.h | 858 register seL4_Word arg2 asm("a1") = (seL4_Word)userarg; 860 asm volatile("ecall" : "+r"(arg1) : "r"(arg2), "r"(scno));
|