/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); 21 invalidateLocalASID((vspace_root_t *)arg0, arg1);
|
/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
|
H A D | thread.h | 61 typedef void (*sel4utils_thread_entry_fn)(void *arg0, void *arg1, void *ipc_buf); 127 * @param arg1 another pointer. User decides the protocol. Note that there are two args here 134 void *arg0, void *arg1, int resume);
|
/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/tools/seL4/elfloader-tool/include/arch-riscv/ |
H A D | sbi.h | 22 #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-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 36 context->a1 = (seL4_Word) arg1;
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/ |
H A D | arch.c | 33 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-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch64/ |
H A D | arch.c | 34 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-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/arm_hyp/ |
H A D | arch.c | 33 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-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/x86_64/ |
H A D | arch.c | 32 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-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}; 60 stack_ptr[-2] = (seL4_Word) arg1;
|
/seL4-camkes-master/kernel/src/arch/arm/smp/ |
H A D | ipi.c | 30 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-camkes-master/projects/musllibc/src/internal/microblaze/ |
H A D | syscall.s | 6 add r5, r6, r0 # Shift the arguments, arg1
|
/seL4-camkes-master/projects/musllibc/src/internal/powerpc/ |
H A D | syscall.s | 6 mr 3, 4 # Shift the arguments: arg1
|
/seL4-camkes-master/projects/musllibc/src/internal/powerpc64/ |
H A D | syscall.s | 6 mr 3, 4 # Shift the arguments: arg1
|
/seL4-camkes-master/kernel/src/arch/x86/smp/ |
H A D | ipi.c | 30 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
|
/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/projects/lwip/src/apps/snmp/ |
H A D | snmp_threadsync.c | 59 call_data->retval.s16 = call_data->proxy_instance.get_value(&call_data->proxy_instance, call_data->arg1.value); 72 call_data->arg1.value = value; 84 call_data->retval.err = call_data->proxy_instance.set_test(&call_data->proxy_instance, call_data->arg2.len, call_data->arg1.value); 97 call_data->arg1.value = value; 110 call_data->retval.err = call_data->proxy_instance.set_value(&call_data->proxy_instance, call_data->arg2.len, call_data->arg1.value); 123 call_data->arg1.value = value; 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); 191 call_data->arg1.root_oid = root_oid;
|
/seL4-camkes-master/kernel/include/arch/riscv/arch/ |
H A D | sbi.h | 68 #define SBI_CALL_2(which, arg0, arg1) sbi_call(which, arg0, arg1, 0)
|
/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/tools/riscv-pk/machine/ |
H A D | minit.c | 211 void enter_supervisor_mode(void (*fn)(uintptr_t), uintptr_t arg0, uintptr_t arg1) argument 225 register uintptr_t a1 asm ("a1") = arg1; 230 void enter_machine_mode(void (*fn)(uintptr_t, uintptr_t), uintptr_t arg0, uintptr_t arg1) argument 238 fn(arg0, arg1);
|
H A D | mtrap.h | 69 void enter_supervisor_mode(void (*fn)(uintptr_t), uintptr_t arg0, uintptr_t arg1) 71 void enter_machine_mode(void (*fn)(uintptr_t, uintptr_t), uintptr_t arg0, uintptr_t arg1)
|
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | snmp_threadsync.h | 66 } arg1; member in struct:threadsync_data
|
/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
|