Searched refs:arg0 (Results 1 - 22 of 22) sorted by relevance

/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);
21 invalidateLocalASID((vspace_root_t *)arg0, arg1);
/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
16 invalidateLocalTLBEntry(arg0);
/seL4-camkes-master/kernel/src/arch/arm/smp/
H A Dipi.c29 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-camkes-master/tools/seL4/elfloader-tool/include/arch-riscv/
H A Dsbi.h22 #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-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
H A Dthread.h61 typedef void (*sel4utils_thread_entry_fn)(void *arg0, void *arg1, void *ipc_buf);
126 * @param arg0 a pointer to the arguments for this thread. User decides the protocol.
134 void *arg0, void *arg1, int resume);
/seL4-camkes-master/kernel/include/arch/riscv/arch/
H A Dsbi.h67 #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-camkes-master/kernel/src/arch/x86/smp/
H A Dipi.c29 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-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
35 context->a0 = (seL4_Word) arg0;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/
H A Darch.c33 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-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch64/
H A Darch.c34 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-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/arm_hyp/
H A Darch.c33 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-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/x86_64/
H A Darch.c32 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-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};
59 stack_ptr[-3] = (seL4_Word) arg0;
/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/tools/riscv-pk/machine/
H A Dminit.c211 void enter_supervisor_mode(void (*fn)(uintptr_t), uintptr_t arg0, uintptr_t arg1) argument
224 register uintptr_t a0 asm ("a0") = arg0;
230 void enter_machine_mode(void (*fn)(uintptr_t, uintptr_t), uintptr_t arg0, uintptr_t arg1) argument
238 fn(arg0, arg1);
H A Dmtrap.h69 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)
H A Dmtrap.c136 uintptr_t n = regs[17], arg0 = regs[10], arg1 = regs[11], retval, ipi_type; local
141 retval = mcall_console_putchar(arg0);
156 send_ipi_many((uintptr_t*)arg0, ipi_type);
167 retval = mcall_set_timer(arg0 + ((uint64_t)arg1 << 32));
169 retval = mcall_set_timer(arg0);
/seL4-camkes-master/kernel/src/arch/riscv/smp/
H A Dipi.c31 static void handleRemoteCall(IpiRemoteCall_t call, word_t arg0, argument
44 switchLocalFpuOwner((user_fpu_state_t *)arg0);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dthread.c164 void *arg0, void *arg1, int resume)
182 int error = sel4utils_arch_init_local_context(entry_point, arg0, arg1,
163 sel4utils_start_thread(sel4utils_thread_t *thread, sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, int resume) argument
/seL4-camkes-master/projects/picotcp/test/
H A Dpicoapp.c171 static void usage(char *arg0) argument
173 printf("Usage: %s [--vde name:sock:address:netmask[:gateway]] [--vde ...] [--tun name:address:netmask[:gateway]] [--tun ...] [--app name[:args]]\n\n\n", arg0);

Completed in 102 milliseconds