/seL4-test-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-test-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
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | helpers.h | 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-test-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
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/ |
H A D | arch.c | 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-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch64/ |
H A D | arch.c | 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-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/arm_hyp/ |
H A D | arch.c | 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-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/x86_64/ |
H A D | arch.c | 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-test-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
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
H A D | helpers.h | 50 void *arg1; member in struct:helper_thread
|
H A D | helpers.c | 270 start_helper(env_t env, helper_thread_t *thread, helper_fn_t entry_point, seL4_Word arg0, seL4_Word arg1, seL4_Word arg2, seL4_Word arg3) argument 529 create_passive_thread(env_t env, helper_thread_t *passive, helper_fn_t fn, seL4_CPtr ep, seL4_Word arg1, seL4_Word arg2, seL4_Word arg3) argument 536 start_passive_thread(env_t env, helper_thread_t *passive, helper_fn_t fn, seL4_CPtr ep, seL4_Word arg1, seL4_Word arg2, seL4_Word arg3) argument
|
/seL4-test-master/kernel/src/arch/arm/smp/ |
H A D | ipi.c | 29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | tls.c | 121 simple_tls_test_thread( UNUSED seL4_Word arg1, UNUSED seL4_Word arg2, UNUSED seL4_Word arg3, UNUSED seL4_Word arg4 ) argument
|
H A D | ioports.c | 75 static int do_ioports(int arg1, int arg2, int arg3, int arg4) argument
|
H A D | frames.c | 116 static int fault(seL4_Word arg1, seL4_Word arg2, seL4_Word arg3, seL4_Word arg4) argument
|
H A D | binding.c | 146 waiter(seL4_Word bound_ep, seL4_Word arg1, seL4_Word arg2, seL4_Word arg3) argument
|
H A D | faults.c | 903 create_passive_thread_with_tfep(env_t env, helper_thread_t *passive, seL4_CPtr tfep, seL4_Word badge, helper_fn_t fn, seL4_CPtr ep, seL4_Word arg1, seL4_Word arg2, seL4_Word arg3, sel4utils_checkpoint_t *cp) argument
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | fp_emulation.c | 166 uint32_t arg1 = rm ? rs2 : rs1; local 173 uint64_t arg1 = rm ? rs2 : rs1; local
|
H A D | minit.c | 211 void enter_supervisor_mode(void (*fn)(uintptr_t), uintptr_t arg0, uintptr_t arg1) argument 230 void enter_machine_mode(void (*fn)(uintptr_t, uintptr_t), uintptr_t arg0, uintptr_t arg1) argument
|
H A D | mtrap.c | 136 uintptr_t n = regs[17], arg0 = regs[10], arg1 = regs[11], retval, ipi_type; local
|
/seL4-test-master/kernel/src/arch/x86/smp/ |
H A D | ipi.c | 29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
/seL4-test-master/kernel/src/arch/riscv/smp/ |
H A D | ipi.c | 31 handleRemoteCall(IpiRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | thread.c | 163 sel4utils_start_thread(sel4utils_thread_t *thread, sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, int resume) argument
|
/seL4-test-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
|